/*
 * Copyright 2007, François Revol, revol@free.fr.
 * Distributed under the terms of the MIT License.
 *
 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
 * All rights reserved. Distributed under the terms of the MIT License.
 */

#include <KernelExport.h>
#include <arch/platform.h>
#include <boot/kernel_args.h>

#include <drivers/bus/FDT.h>

extern char *gFDT;

status_t
arch_platform_init(struct kernel_args *kernelArgs)
{
	// NOTE: dprintf() is off-limits here, too early...

	// If we have an FDT blob, point the gFDT to it now
	gFDT = (char *)kernelArgs->platform_args.fdt;

	return B_OK;
}

status_t
arch_platform_init_post_vm(struct kernel_args *kernelArgs)
{
	// no area to create, since we pass the FDT in the kernel_args
	// and the VM automagically creates the area's (with B_EXACT_ADDRESS)
	// for them.
	return B_OK;
}


status_t
arch_platform_init_post_thread(struct kernel_args *kernelArgs)
{
	// now we can create and use semaphores
	return B_OK;
}