1 /* Copyright 2019, Adrien Destugues, pulkomandy@pulkomandy.tk. 2 * Distributed under the terms of the MIT License. 3 */ 4 5 6 #include <arch/platform.h> 7 8 9 status_t 10 arch_platform_init(struct kernel_args *kernelArgs) 11 { 12 return B_OK; 13 } 14 15 16 status_t 17 arch_platform_init_post_vm(struct kernel_args *kernelArgs) 18 { 19 return B_OK; 20 } 21 22 23 status_t 24 arch_platform_init_post_thread(struct kernel_args *kernelArgs) 25 { 26 return B_OK; 27 } 28