forked from seL4/seL4
-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
riscv: support qemu-riscv-virt platform
Signed-off-by: Axel Heider <[email protected]>
- Loading branch information
Axel Heider
committed
Apr 6, 2022
1 parent
1612a7f
commit e4cdb9e
Showing
5 changed files
with
147 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
11 changes: 11 additions & 0 deletions
11
libsel4/sel4_plat_include/qemu-riscv-virt/sel4/plat/api/constants.h
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
/* | ||
* Copyright 2022, HENSOLDT Cyber | ||
* | ||
* SPDX-License-Identifier: BSD-2-Clause | ||
*/ | ||
|
||
#pragma once | ||
|
||
#include <autoconf.h> | ||
|
||
/* nothing here */ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,109 @@ | ||
# | ||
# Copyright 2022, HENSOLDT Cyber | ||
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | ||
# | ||
# SPDX-License-Identifier: GPL-2.0-only | ||
# | ||
|
||
cmake_minimum_required(VERSION 3.7.2) | ||
|
||
declare_platform(qemu-riscv-virt KernelPlatformQEMURiscVVirt PLAT_QEMU_RISCV_VIRT KernelArchRiscV) | ||
|
||
if(KernelPlatformQEMURiscVVirt) | ||
|
||
# ToDo: use setup_seL4_arch("riscv64;riscv32") | ||
if("${KernelSel4Arch}" STREQUAL riscv64) | ||
declare_seL4_arch(riscv64) | ||
elseif("${KernelSel4Arch}" STREQUAL riscv32) | ||
# This is still untested | ||
declare_seL4_arch(riscv32) | ||
else() | ||
fallback_declare_seL4_arch_default(riscv64) | ||
endif() | ||
|
||
config_set(KernelOpenSBIPlatform OPENSBI_PLATFORM "generic") | ||
config_set(KernelPlatformFirstHartID FIRST_HART_ID 0) | ||
|
||
# Unless QEMU_DTS is set explicitly, the device tree is extract from QEMU. | ||
# This keeps it nicely up to date with the newer QEMU versions and is quite | ||
# convenient for the development usecase. | ||
if(NOT DEFINED QEMU_DTS) | ||
|
||
message(STATUS "Extracting device tree from QEMU") | ||
|
||
set(QEMU_BINARY "qemu-system-${KernelSel4Arch}") | ||
find_program(QEMU_BINARY ${QEMU_BINARY}) | ||
|
||
# RISC-V virtual platform works since QEMU 5.1.0 | ||
set(MIN_QEMU_VERSION "5.1.0") | ||
execute_process( | ||
COMMAND ${QEMU_BINARY} -version | ||
RESULT_VARIABLE error | ||
OUTPUT_VARIABLE QEMU_STDOUT_MESSAGE | ||
) | ||
if(error) | ||
message(FATAL_ERROR "Failed to determine QEMU version (${QEMU_BINARY})") | ||
endif() | ||
string( | ||
REGEX | ||
MATCH | ||
"[0-9](\\.[0-9])+" | ||
QEMU_VERSION | ||
"${QEMU_STDOUT_MESSAGE}" | ||
) | ||
if("${QEMU_VERSION}" VERSION_LESS "${MIN_QEMU_VERSION}") | ||
message( | ||
FATAL_ERROR | ||
"Error: need at least QEMU version ${MIN_QEMU_VERSION}, found '${QEMU_VERSION}'" | ||
) | ||
endif() | ||
|
||
if(NOT DEFINED QEMU_MEMORY) | ||
# Having 2 GiB of memory as default seems a good trade-off. It's | ||
# sufficient for test/demo systems, but still something the host can | ||
# provide without running short on resources. | ||
set(QEMU_MEMORY "2048") | ||
endif() | ||
|
||
if(KernelMaxNumNodes) | ||
set(QEMU_SMP_OPTION "${KernelMaxNumNodes}") | ||
else() | ||
set(QEMU_SMP_OPTION "1") | ||
endif() | ||
|
||
set(QEMU_DT_BASE_NAME "${CMAKE_BINARY_DIR}/qemu-riscv-virt") | ||
set(QEMU_DTB "${QEMU_DT_BASE_NAME}.dtb") | ||
set(QEMU_DTS "${QEMU_DT_BASE_NAME}.dts") | ||
|
||
execute_process( | ||
COMMAND | ||
${QEMU_BINARY} -machine virt,dumpdtb=${QEMU_DTB} -cpu rv${KernelWordSize} -smp | ||
${QEMU_SMP_OPTION} -m ${QEMU_MEMORY} -nographic | ||
RESULT_VARIABLE error | ||
) | ||
if(error) | ||
message(FATAL_ERROR "Failed to dump DTB using ${QEMU_BINARY})") | ||
endif() | ||
|
||
execute_process( | ||
COMMAND | ||
dtc -q -I dtb -O dts -o ${QEMU_DTS} ${QEMU_DTB} | ||
RESULT_VARIABLE error | ||
) | ||
if(error) | ||
message(FATAL_ERROR "Failed to convert QEMU's DTB to a DTS (${QEMU_DTB})") | ||
endif() | ||
|
||
endif() | ||
|
||
list(APPEND KernelDTSList "${QEMU_DTS}" "${CMAKE_CURRENT_LIST_DIR}/overlay-qemu-riscv-virt.dts") | ||
|
||
# QEMU pretends to have a CLINT/ACLINT timer with 10 MHz, but this may not | ||
# hold in practical mesurements. A SiFive PLIC/CLINT with 127 interrupt | ||
# sources is emulated by default. | ||
declare_default_headers( | ||
TIMER_FREQUENCY 10000000 PLIC_MAX_NUM_INT 128 | ||
INTERRUPT_CONTROLLER drivers/irq/riscv_plic0.h | ||
) | ||
|
||
endif() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
/* | ||
* Copyright 2022, HENSOLDT Cyber | ||
* | ||
* SPDX-License-Identifier: GPL-2.0-only | ||
*/ | ||
|
||
/ { | ||
chosen { | ||
/* | ||
* - elfloader and kernel use SBI console by default | ||
* - QEMU emulates a SiFive PLIC and CLINT by default | ||
* | ||
* Nothing needed for elfloader | ||
* seL4,elfloader-devices = ... ; | ||
* | ||
*/ | ||
seL4,kernel-devices = | ||
&{/soc/plic@c000000}; | ||
}; | ||
}; |