#
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX identifiers This commit also converts our own copyright headers to directly use SPDX, but leaves all other copyright header intact, only adding the SPDX ident. As far as possible this commit also merges multiple Data61 copyright statements/headers into one for consistency.
|
#
d59c876d |
|
08-Oct-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Configuration options for different multiboot headers This allows for disabling a particular multiboot version if there are problems using it with a particular loader.
|
#
4241b2df |
|
04-Oct-2017 |
Alexander Boettcher <alexander.boettcher@genode-labs.com> |
x86: Support for mulitboot2 compatible booting Declares to a bootloader that we hare multiboot2 compliant and provides an additional try_boot_sys_mbi2 function for processing a multiboot2 information header.
|
#
40c61e5c |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses (the rest)
|
#
46aa3860 |
|
12-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Expose multiboot video mode selection
|
#
c5483385 |
|
12-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Remove duplication of the multiboot header
|