1 /*
2  * SPDX-License-Identifier: Apache-2.0
3  * Copyright (c) 2019 Intel Corp.
4  */
5 
6 extern void multiboot(void);
7 extern void acpi(void);
8 extern void timer(void);
9 extern void memmap(void);
10