1 /* 2 * Copyright 2005, Ingo Weinhold <bonefish@cs.tu-berlin.de>. 3 * All rights reserved. Distributed under the terms of the MIT License. 4 */ 5 6 #include <platform.h> 7 8 #include <boot/kernel_args.h> 9 10 status_t 11 platform_init(struct kernel_args *kernelArgs) 12 { 13 return B_OK; 14 } 15