* 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>
void* gFDT = NULL;
status_t
arch_platform_init(struct kernel_args *kernelArgs)
{
gFDT = kernelArgs->arch_args.fdt;
return B_OK;
}
status_t
arch_platform_init_post_vm(struct kernel_args *kernelArgs)
{
return B_OK;
}
status_t
arch_platform_init_post_thread(struct kernel_args *kernelArgs)
{
return B_OK;
}