portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

spike: remove unneeded empty seL4,kernel-devices

Browse source 
hardware_gen assumes this prop is empty if it isn't specified.
This commit is contained in:
Simon Shields 2019-09-04 16:42:37 +10:00
parent 294b592bb1
commit cc655275f4
2 changed files with 0 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/plat/spike/config.cmake
View file

@ -35,7 +35,6 @@ if(KernelPlatformSpike)
else()
list(APPEND KernelDTSList "tools/dts/spike.dts")
endif()
list(APPEND KernelDTSList "src/plat/spike/overlay-spike.dts")
declare_default_headers(
TIMER_FREQUENCY 10000000llu PLIC_MAX_NUM_INT 0
INTERRUPT_CONTROLLER arch/machine/plic.h

17
src/plat/spike/overlay-spike.dts
View file

@ -1,17 +0,0 @@
/*
* Copyright 2019, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(DATA61_GPL)
*/
/ {
chosen {
seL4,kernel-devices;
};
};