History log of /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/multiboot.h
Revision Date Author Comments
# 20383163 17-May-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Split large structs into portions

The C parser does not enjoy parsing structs with many fields


# 43dea068 18-Apr-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Correct multiboot info definition

The fields in the multiboot_info structure have precise sizes and should not use pointers
types as these sizes change between ia32 and x86_64 builds. This commit changes such
fields to be the correct fixed size uint32_t


# 256c30ae 13-Feb-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Pass VBE information from multiboot through bootinfo


# 68887cd8 11-Jan-2016 Adrian Danis <Adrian.Danis@nicta.com.au>

x86: Populate the freemem list from the multiboot mem list

If the multiboot memory list exists, then it may contain more
than just the single contiguous memory region listed in 'mem_upper'
Therefore we use it to populate a more complete free memory list,
if it exists


# 914741ea 27-May-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

x86: Make x86 the name of the architecture instead of IA32

IA32 is 32bit version of the x86 architecture. Whilst only IA32
is supported, much of the code is generic x86. Using a generic
x86 architecture will aid in future 64bit support