2016-06-15 07:29:46 +00:00
|
|
|
#ifndef _S_BOOT_H_
|
|
|
|
#define _S_BOOT_H_
|
2016-06-25 07:25:54 +00:00
|
|
|
#include "g_abi.h"
|
2016-07-01 09:15:07 +00:00
|
|
|
#include "s_pmm.h"
|
|
|
|
|
2016-06-15 07:29:46 +00:00
|
|
|
//
|
2016-06-23 04:50:29 +00:00
|
|
|
// HAL Boot Info
|
2016-06-15 07:29:46 +00:00
|
|
|
//
|
|
|
|
typedef struct
|
|
|
|
{
|
|
|
|
uint64_t krnl_start;
|
|
|
|
uint64_t krnl_end;
|
2016-06-23 04:50:29 +00:00
|
|
|
k_hal_intr_info_t intr_info;
|
2016-07-01 09:15:07 +00:00
|
|
|
linked_list_t pmm_info;
|
2016-06-15 07:29:46 +00:00
|
|
|
char cpu_vd_str[13];
|
2016-06-23 04:50:29 +00:00
|
|
|
} k_hal_boot_info_t;
|
2016-06-15 07:29:46 +00:00
|
|
|
|
|
|
|
#endif
|