Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-09 16:59:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

riscv: add spike instance for hi-five freedom unleashed board

Browse Source 
Change-Id: Id43de3638156b39c2fdc5af7d8c54c2aac6f2709
This commit is contained in:
Chris Guikema
2018-09-12 10:11:39 -04:00
committed by Anna Lyons
parent dfa4a35854
commit 2d498cb23d
2 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/plat/spike/config.cmake
View File

@@ -21,6 +21,7 @@ endif()
config_choice(KernelSpikeInstance RISCV_SPIKE_INSTANCE "Select the instance for Spike to run on"
"qemu;KernelPlatformSpikeQemu;BUILD_SPIKE_QEMU;KernelArchRiscV"
"rocket-chip-zedboard;KernelPlatformSpikeRocketChip;BUILD_ROCKET_CHIP_ZEDBOARD;KernelSel4ArchRiscV64"
"hi-five-unleashed;KernelPlatformSpikeSiFiveFreedom;BUILD_HI_FIVE_UNLEASHED;KernelSel4ArchRiscV64"
)
config_string(KernelPlatformSpikeClockFrequency SPIKE_CLOCK_FREQ
@@ -32,6 +33,7 @@ config_string(KernelPlatformSpikeClockFrequency SPIKE_CLOCK_FREQ
# Include all of the different instances of the Spike platform
include(src/plat/spike/instance/qemu/config.cmake)
include(src/plat/spike/instance/rocket-chip/config.cmake)
include(src/plat/spike/instance/freedom/config.cmake)
add_sources(
DEP "KernelPlatformSpike"

13
src/plat/spike/instance/freedom/config.cmake Normal file
View File

@@ -0,0 +1,13 @@
#
# Copyright 2018, DornerWorks
#
# 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(DORNERWORKS_GPL)
#
if(KernelPlatformSpikeSiFiveFreedom)
set(KernelPlatformSpikeClockFrequency 1000000)
endif()