12 //---------------------------------------------------------------------------
19 #include "boot_info.h"
23 // Make the stuff below apearing only in this compilation unit.
24 // Trick Preprocess to let the struct reside in the cc file rather
25 // than putting it into the _i.h file which is perfectly wrong in
27 namespace KIP_namespace
32 Max_len_version = 512,
34 Size_mem_descs = sizeof(Mword) * 2 * Num_mem_descs,
40 char mem_descs[Size_mem_descs];
43 KIP my_kernel_info_page asm("my_kernel_info_page") __attribute__((section(".kernel_info_page"))) =
46 /* 00 */ L4_KERNEL_INFO_MAGIC,
47 Config::kernel_version_id,
48 (Size_mem_descs + sizeof(Kip)) >> 4,
54 /* 50 */ 0, (sizeof(Kip) << (sizeof(Mword)*4)) | Num_mem_descs, 0, 0,
70 Kip *kinfo = reinterpret_cast<Kip*>(&KIP_namespace::my_kernel_info_page);
71 Kip::init_global_kip(kinfo);
72 kinfo->add_mem_region(Mem_desc(0, Mem_layout::User_max - 1,
73 Mem_desc::Conventional, true));