| 36,7 → 36,6 |
|---|
| #ifndef KERN_arm32_ASM_BOOT_H_ |
| #define KERN_arm32_ASM_BOOT_H_ |
| |
| |
| /** Size of a temporary stack used for initial kernel start. */ |
| #define TEMP_STACK_SIZE 0x100 |
| |
| 52,9 → 51,9 |
|---|
| * @param boot_bootinfo Struct holding information about loaded tasks. |
| * @param bootinfo_size Size of the bootinfo structure. |
| */ |
| void kernel_image_start(void *entry, void *boot_bootinfo, unsigned int bootinfo_size); |
| extern void kernel_image_start(void *entry, void *boot_bootinfo, |
| unsigned int bootinfo_size); |
| |
| |
| #endif |
| |
| #endif |