/*
 * 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 <arch/cpu.h>
#ifdef __x86_64__
#  include <boot/arch/x86/arch_cpu.h>
#endif


void
cpu_init()
{
	gKernelArgs.num_cpus = 1;
		// this will eventually be corrected later on
}


extern "C" void
platform_load_ucode(BootVolume& volume)
{
#ifdef __x86_64__
	ucode_load(volume);
#endif
}