| 30,7 → 30,7 |
|---|
| * @{ |
| */ |
| /** @file |
| * @brief Included in assembly boot source. |
| * @brief Initial kernel start. |
| */ |
| |
| #ifndef KERN_arm32_ASM_BOOT_H_ |
| 37,10 → 37,27 |
|---|
| #define KERN_arm32_ASM_BOOT_H_ |
| |
| |
| /** Size of a temporary stack used for boot process. */ |
| /** Size of a temporary stack used for initial kernel start. */ |
| #define TEMP_STACK_SIZE 0x100 |
| |
| #ifndef __ASM__ |
| |
| /** Kernel entry point. |
| * |
| * Implemented in assembly. Copies boot_bootinfo (declared as bootinfo in |
| * boot/arch/arm32/loader/main.c) to #bootinfo struct. Then jumps to |
| * #arch_pre_main and #main_bsp. |
| * |
| * @param entry Entry point address (not used). |
| * @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); |
| |
| |
| #endif |
| |
| #endif |
| |
| /** @} |
| */ |