From 05bf1ca44d3cca0085196ff3ac186ca52c4bf5d6 Mon Sep 17 00:00:00 2001 From: Adrian Danis Date: Mon, 14 Nov 2016 08:58:18 +1100 Subject: [PATCH] libsel4: Reorder bootinfo struct This reorders the bootinfo struct to place the untyped array as the last element. Having the array at the end makes the layout of the information in this struct easier to represent in other languages. --- libsel4/include/sel4/bootinfo_types.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/libsel4/include/sel4/bootinfo_types.h b/libsel4/include/sel4/bootinfo_types.h index b47260809..27bc69868 100644 --- a/libsel4/include/sel4/bootinfo_types.h +++ b/libsel4/include/sel4/bootinfo_types.h @@ -61,9 +61,11 @@ typedef struct { seL4_SlotRegion ioSpaceCaps; /* IOSpace caps for ARM SMMU */ seL4_Uint8 initThreadCNodeSizeBits; /* initial thread's root CNode size (2^n slots) */ seL4_Domain initThreadDomain; /* Initial thread's domain ID */ + seL4_Word archInfo; /* tsc freq on x86, unused on arm */ seL4_SlotRegion untyped; /* untyped-object caps (untyped caps) */ seL4_UntypedDesc untypedList[CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS]; /* information about each untyped */ - seL4_Word archInfo; /* tsc freq on x86, unused on arm */ + /* the untypedList should be the last entry in this struct, in order + * to make this struct easier to represent in other languages */ } seL4_BootInfo;