18f75582aSVasily Gorbik /* SPDX-License-Identifier: GPL-2.0 */ 28f75582aSVasily Gorbik #ifndef BOOT_BOOT_H 38f75582aSVasily Gorbik #define BOOT_BOOT_H 48f75582aSVasily Gorbik 58f75582aSVasily Gorbik void startup_kernel(void); 66966d604SVasily Gorbik void detect_memory(void); 78f75582aSVasily Gorbik 88f75582aSVasily Gorbik #endif /* BOOT_BOOT_H */ 9