#
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.
|
#
0f619780 |
|
11-Dec-2019 |
Simon Shields <simon.shields@data61.csiro.au> |
hardware_gen: add elfloader CPUs output outputs all CPUs described in the DT to the elfloader header and also includes any devices in the seL4,elfoader-devices property.
|
#
8fd26bd7 |
|
21-Oct-2019 |
Oliver Scott <Oliver.Scott@data61.csiro.au> |
bbone-MCS: kernel switch to dmtimer4 The kernel was originally using dmtimer0 which had a fixed clock speed not fast enough for mcs.
|
#
cf997974 |
|
12-Aug-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
hardware_gen: Always specify kernel devices The kernel device IRQs and Frame mappings generated by this script will only come from nodes specified in the seL4,kernel-devices property of the chosen node. Previously these devices were inferred by the script but this led to false matching and didn't support easily overriding which devices to match under different configurations or across different platforms. Explicitly specifying which devices from the device tree will be used in the kernel makes it easier to check which devices the kernel is actually using and makes it easier to change on a per platform or per configuration basis.
|
#
df2d32cb |
|
10-Jan-2019 |
Simon Shields <simon.shields@data61.csiro.au> |
dts: add seL4 overlays These contain various fixes that the Linux DTSs need to generate usable output for seL4.
|