| #
734320d7 |
|
20-Nov-2017 |
Alexander Boettcher <alexander.boettcher@genode-labs.com> |
x86: add framebuffer info of MBI2 via boot_info
|
| #
a8d6315e |
|
31-Aug-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4: x86: Remove nested struct declarations
Nested structs with attributes are not understandable by the C parser. This change simply
moves the nested definitions into the global namespace (with suitable names).
|
| #
86442b07 |
|
31-Aug-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4: x86: Correctly pack substructs in VBE struct
The VBE information struct is a representation of the actual VBE information passed from
multiboot and needs to have the precise layout as described.
|
| #
07f94833 |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
libsel4: fix licenses
- some were incorrectly marked GPL (libsel4 is BSD)
- update NICTA --> DATA61 etc
- fix tags D61 --> DATA61
- update year to 2017
|
| #
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
|
| #
b9f2a760 |
|
15-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
libsel4: Add constant for multiboot region type
|
| #
56e9e28d |
|
14-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
libsel4: add comments to multiboot fields
|
| #
108c325b |
|
04-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
libsel4: Change PACKED to SEL4_PACKED
|
| #
d13544c7 |
|
01-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
SELFOUR-865: Pass memory map information to user
|
| #
256c30ae |
|
13-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Pass VBE information from multiboot through bootinfo
|