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