/** Copyright 2009, Ingo Weinhold, ingo_weinhold@gmx.de.* Copyright 2004-2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved.* Distributed under the terms of the MIT License.*/#include <boot/kernel_args.h>#include <boot/platform.h>#include <boot/stage2.h>#include <boot/vfs.h>#include <arch/cpu.h>#include <arch_cpu.h>voidcpu_init(){gKernelArgs.num_cpus = 1;// this will eventually be corrected later onboot_arch_cpu_init();}extern "C" voidplatform_load_ucode(BootVolume& volume){arch_ucode_load(volume);}