1/*
2 * Copyright 2009, Ingo Weinhold, ingo_weinhold@gmx.de.
3 * Copyright 2004-2005, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
4 * Distributed under the terms of the MIT License.
5 */
6
7
8#include <boot/kernel_args.h>
9#include <boot/platform.h>
10#include <boot/stage2.h>
11#include <boot/vfs.h>
12#include <arch/cpu.h>
13
14#include <arch_cpu.h>
15
16
17void
18cpu_init()
19{
20	gKernelArgs.num_cpus = 1;
21		// this will eventually be corrected later on
22
23	boot_arch_cpu_init();
24}
25
26
27extern "C" void
28platform_load_ucode(BootVolume& volume)
29{
30	arch_ucode_load(volume);
31}
32