#
512a0200 |
|
19-Mar-2020 |
Qian Ge <qian.ge@data61.csiro.au> |
replacing all ifndef with pargma once All the kernel header files now use pargma once rather than the ifndef, as the pre-processed C files do not change while header files are protected with pargma once. This will also solve any naming issues caused by ifndef.
|
#
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.
|
#
f6e5e218 |
|
20-Mar-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Remove symlinked libsel4 files from include dir These files can be included normally using libsel4 include paths. This removes situations where the same file is available under different include paths due to symlinking into different directory structures.
|
#
289bf92b |
|
05-Jan-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-114: remove bootinfo.h duplication
|
#
9b7a8405 |
|
22-Jun-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Change bootinfo to have generic slot region for paging structures Current bootinfo defines two slot regions for paging structures, one for page directories and one for page tables. This does not easily generalise for N levels of paging structures. This change uses a single region that has a known order of objects for however many levels exist
|
#
0ecff9f3 |
|
09-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
unsigned int -> word_t
|
#
2d61910e |
|
09-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Rename uint32_t -> word_t in any relevant places
|
#
af0f3b36 |
|
15-Jan-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
ia32: Large commit that implements PAE paging for x86 This commit involves the PAE paging itself, refactoring the vspace code to extra what is common between PAE and 32bit paging, as well as some renaming to not call the root paging structure a PD
|
#
6d31d460 |
|
20-Oct-2014 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
trivial: Standardise on 32-bit unsigned variables for domain values. Domains are unnecessarily treated explicitly as 8-bit values within boot info. Though there are existing proof constraints that limit the maximum domain value to 8 bits, most of the code would permit domain values up to 32 bits. The maximum value is unnecessarily constrained in boot info, a restriction which this commit removes. Closes VER-341
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|