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 |
|
/** @} |
*/ |