| 29,28 → 29,42 |
|---|
| /** @addtogroup arm32 |
| * @{ |
| */ |
| /** @file |
| /** @file Bootinfo declarations. |
| * |
| * Reflects boot/arch/arm32/loader/mm.h. |
| */ |
| |
| #ifndef KERN_arm32_BOOT_H_ |
| #define KERN_arm32_BOOT_H_ |
| |
| #include <arch/types.h> |
| |
| /** Maximum number of tasks in the #bootinfo_t struct. */ |
| #define TASKMAP_MAX_RECORDS 32 |
| |
| #include <arch/types.h> |
| |
| /** Struct holding information about single loaded uspace task. */ |
| typedef struct { |
| /** Address where the task was placed. */ |
| uintptr_t addr; |
| /** Size of the task's binary. */ |
| uint32_t size; |
| } utask_t; |
| |
| |
| /** Struct holding information about loaded uspace tasks. */ |
| typedef struct { |
| /** Number of loaded tasks. */ |
| uint32_t cnt; |
| /** Array of loaded tasks. */ |
| utask_t tasks[TASKMAP_MAX_RECORDS]; |
| } bootinfo_t; |
| |
| |
| /** Bootinfo that is filled in #kernel_image_start. */ |
| extern bootinfo_t bootinfo; |
| |
| |
| #endif |
| |
| /** @} |