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