From cc655275f495ca34c6e3ff6bee5fc06c06d3e8e7 Mon Sep 17 00:00:00 2001 From: Simon Shields Date: Wed, 4 Sep 2019 16:42:37 +1000 Subject: [PATCH] spike: remove unneeded empty seL4,kernel-devices hardware_gen assumes this prop is empty if it isn't specified. --- src/plat/spike/config.cmake | 1 - src/plat/spike/overlay-spike.dts | 17 ----------------- 2 files changed, 18 deletions(-) delete mode 100644 src/plat/spike/overlay-spike.dts diff --git a/src/plat/spike/config.cmake b/src/plat/spike/config.cmake index fb202d734..bedf95a69 100644 --- a/src/plat/spike/config.cmake +++ b/src/plat/spike/config.cmake @@ -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 diff --git a/src/plat/spike/overlay-spike.dts b/src/plat/spike/overlay-spike.dts deleted file mode 100644 index 4eb63e2be..000000000 --- a/src/plat/spike/overlay-spike.dts +++ /dev/null @@ -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; - }; -};