RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

RISCV: Add Hifive unleashed platform

Browse Source 
This change adds support for Hifive unleashed board. It also removes the
outdated hifive suport from the spike platform.
This commit is contained in:
Siwei Zhuang
2019-06-24 15:48:18 +10:00
parent efda335b8c
commit 8b4ed9941a
15 changed files with 612 additions and 108 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
config.cmake
View File

@@ -71,7 +71,8 @@ function(declare_default_headers)
)
# calculate the irq cnode size based on MAX_IRQ
if("${KernelArch}" STREQUAL "riscv")
set(MAX_IRQ "${CONFIGURE_PLIC_MAX_NUM_INT} + 2")
set(MAX_IRQ "${CONFIGURE_PLIC_MAX_NUM_INT}")
math(EXPR MAX_IRQ "${MAX_IRQ} + 2")
else()
set(MAX_IRQ "${CONFIGURE_MAX_IRQ}")
endif()
@@ -89,8 +90,8 @@ function(declare_default_headers)
# variables parsed by the above will be prepended with CONFIGURE_, so pipe them
# straight to configure_file
configure_file(
src/arch/${KernelArch}/platform_gen.h.in ${CMAKE_CURRENT_BINARY_DIR}/gen_headers/plat/platform_gen.h
@ONLY
src/arch/${KernelArch}/platform_gen.h.in
${CMAKE_CURRENT_BINARY_DIR}/gen_headers/plat/platform_gen.h @ONLY
)
include_directories(include/plat/default)
endfunction()