xref: /haiku/src/system/boot/platform/efi/arch/arm/arch_start.cpp (revision 68ea01249e1e2088933cb12f9c28d4e5c5d1c9ef)
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