1 /* 2 * Copyright 2019-2020 Haiku, Inc. All rights reserved. 3 * Released under the terms of the MIT License. 4 */ 5 6 7 #include <boot/platform.h> 8 #include <boot/stage2.h> 9 #include <boot/stdio.h> 10 11 12 void 13 arch_start_kernel(addr_t kernelEntry) 14 { 15 // Kernel Entry! 16 } 17