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); 68f75582aSVasily Gorbik 78f75582aSVasily Gorbik #endif /* BOOT_BOOT_H */ 8