#
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.
|
#
8a6180f4 |
|
29-Apr-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
arm: make mode reserved regions a constant Replace an unneccessary function call with a constant. This simplifies and increases the maintainability of arch_init_freemem.
|
#
56de1ad7 |
|
02-Apr-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
aarch64: adjustments to pass c-parser This commit updates the aarch64 build to pass the c-parser. - replace 0b constants with decimal - remove empty array definition - replace __uint128_t with uint64_t, and double the array size - remove variable shadowing No further verification guarantees are provided for aarch64 code.
|
#
761006e0 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: consistently align pointer with name Run astyle with align-pointer=name
|
#
fa017b6d |
|
17-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Upgrade to astyle 3.1 This produces minor changes
|
#
22f9d7b9 |
|
12-Feb-2017 |
amrzar <azarrabi@nicta.com.au> |
Update init_freemem to check for mode dependant reserve regions
|
#
0b2fe8d6 |
|
17-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
aarch64: Initial implementation
|
#
1d537ac7 |
|
20-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
ARM: Move vspace.h to mode specific folder
|