| Vasily Gorbik | 8f75582 | 2018-07-19 13:11:28 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
| 2 | #ifndef BOOT_BOOT_H | ||||
| 3 | #define BOOT_BOOT_H | ||||
| 4 | |||||
| 5 | void startup_kernel(void); | ||||
| Vasily Gorbik | 6966d60 | 2018-04-11 11:56:55 +0200 | [diff] [blame^] | 6 | void detect_memory(void); |
| Vasily Gorbik | 8f75582 | 2018-07-19 13:11:28 +0200 | [diff] [blame] | 7 | |
| 8 | #endif /* BOOT_BOOT_H */ | ||||