Barrelfish
|
Data Fields | |
uint16_t | root_flags |
must be at this very location !!! | |
uint16_t | _pad2 [5] |
must be at this very location !!! | |
uint16_t | version |
must be at this very location !!! | |
uint32_t | ramdisk_size |
pointer to the multiboot image | |
uint32_t | bootsect_kludge |
multiboot image size | |
uint32_t | hardware_subarch |
size of the command line | |
uint32_t | xeon_phi_id |
pointer to the command line | |
uint8_t | msg_size_bits |
pointer to the host message base address | |
uint32_t | mbi |
size of the messaging channel | |
layout of the boot parameter data structure
XXX: some fields will be overwritten by the Xeon Phi firmware!