style: Style cmake for qemu-arm-virt platform
Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod
Indan Zupancic
parent
d500b97512
commit
55c1ea653c
1 changed files with 192 additions and 252 deletions
|
|
@ -10,292 +10,232 @@ declare_platform(qemu-arm-virt KernelPlatformQEMUArmVirt PLAT_QEMU_ARM_VIRT Kern
|
|||
set(qemu_user_top 0xa0000000)
|
||||
|
||||
macro(setup_qemu_armv7)
|
||||
cmake_parse_arguments(ARMV7_OPTIONS "ve" "" "" ${ARGN})
|
||||
if(ARMV7_OPTIONS_UNPARSED_ARGUMENTS)
|
||||
message(FATAL_ERROR "Unknown arguments: ${ARMV7_OPTIONS_UNPARSED_ARGUMENTS}")
|
||||
endif()
|
||||
set(QEMU_ARCH "arm")
|
||||
set(KernelArchArmV7a ON)
|
||||
if(ARMV7_OPTIONS_ve)
|
||||
declare_seL4_arch(aarch32 arm_hyp)
|
||||
set(KernelArchArmV7ve ON)
|
||||
if(KernelSel4ArchArmHyp)
|
||||
set(qemu_user_top 0xe0000000)
|
||||
endif()
|
||||
else()
|
||||
declare_seL4_arch(aarch32)
|
||||
cmake_parse_arguments(ARMV7_OPTIONS "ve" "" "" ${ARGN})
|
||||
if(ARMV7_OPTIONS_UNPARSED_ARGUMENTS)
|
||||
message(FATAL_ERROR "Unknown arguments: ${ARMV7_OPTIONS_UNPARSED_ARGUMENTS}")
|
||||
endif()
|
||||
set(QEMU_ARCH "arm")
|
||||
set(KernelArchArmV7a ON)
|
||||
if(ARMV7_OPTIONS_ve)
|
||||
declare_seL4_arch(aarch32 arm_hyp)
|
||||
set(KernelArchArmV7ve ON)
|
||||
if(KernelSel4ArchArmHyp)
|
||||
set(qemu_user_top 0xe0000000)
|
||||
endif()
|
||||
else()
|
||||
declare_seL4_arch(aarch32)
|
||||
endif()
|
||||
endmacro()
|
||||
|
||||
macro(setup_qemu_armv8)
|
||||
declare_seL4_arch(aarch64)
|
||||
set(QEMU_ARCH "aarch64")
|
||||
set(KernelArchArmV8a ON)
|
||||
declare_seL4_arch(aarch64)
|
||||
set(QEMU_ARCH "aarch64")
|
||||
set(KernelArchArmV8a ON)
|
||||
endmacro()
|
||||
|
||||
if(KernelPlatformQEMUArmVirt)
|
||||
|
||||
if(NOT ARM_CPU)
|
||||
# Our default QEMU configuration is AARCH64/Cortex-a53. If
|
||||
# KernelSel4Arch is set to aarch32/arm_hyp, the default is Cortex-a15.
|
||||
# If both ARM_CPU and KernelSel4Arch are set, conflicting values will be
|
||||
# detected eventually. Note that the KernelSel4Archxxx variables are not
|
||||
# set up here, because declare_seL4_arch() has not been called yet.
|
||||
set(
|
||||
arch_cpu_mapping # element format: "KernelSel4Arch:ARM_CPU"
|
||||
":cortex-a53" # used if KernelSel4Arch is empty or not set
|
||||
"aarch64:cortex-a53"
|
||||
"arm_hyp:cortex-a15"
|
||||
"aarch32:cortex-a15"
|
||||
)
|
||||
if(NOT ";${arch_cpu_mapping};" MATCHES ";${KernelSel4Arch}:([^;]*);")
|
||||
message(FATAL_ERROR "unsupported KernelSel4Arch: '${KernelSel4Arch}'")
|
||||
endif()
|
||||
set(ARM_CPU "${CMAKE_MATCH_1}")
|
||||
message(STATUS "ARM_CPU not set, defaulting to ${ARM_CPU}")
|
||||
if(NOT ARM_CPU)
|
||||
# Our default QEMU configuration is AARCH64/Cortex-a53. If
|
||||
# KernelSel4Arch is set to aarch32/arm_hyp, the default is Cortex-a15.
|
||||
# If both ARM_CPU and KernelSel4Arch are set, conflicting values will be
|
||||
# detected eventually. Note that the KernelSel4Archxxx variables are not
|
||||
# set up here, because declare_seL4_arch() has not been called yet.
|
||||
set(arch_cpu_mapping # element format: "KernelSel4Arch:ARM_CPU"
|
||||
":cortex-a53" # used if KernelSel4Arch is empty or not set
|
||||
"aarch64:cortex-a53" "arm_hyp:cortex-a15" "aarch32:cortex-a15")
|
||||
if(NOT ";${arch_cpu_mapping};" MATCHES ";${KernelSel4Arch}:([^;]*);")
|
||||
message(FATAL_ERROR "unsupported KernelSel4Arch: '${KernelSel4Arch}'")
|
||||
endif()
|
||||
set(ARM_CPU "${CMAKE_MATCH_1}")
|
||||
message(STATUS "ARM_CPU not set, defaulting to ${ARM_CPU}")
|
||||
endif()
|
||||
|
||||
if("${ARM_CPU}" STREQUAL "cortex-a7")
|
||||
setup_qemu_armv7()
|
||||
set(KernelArmCortexA7 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a15")
|
||||
setup_qemu_armv7(ve)
|
||||
set(KernelArmCortexA15 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a53")
|
||||
setup_qemu_armv8()
|
||||
set(KernelArmCortexA53 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a57")
|
||||
setup_qemu_armv8()
|
||||
set(KernelArmCortexA57 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a72")
|
||||
setup_qemu_armv8()
|
||||
set(KernelArmCortexA72 ON)
|
||||
else()
|
||||
message(FATAL_ERROR "Unsupported ARM_CPU: '${ARM_CPU}'")
|
||||
endif()
|
||||
if("${ARM_CPU}" STREQUAL "cortex-a7")
|
||||
setup_qemu_armv7()
|
||||
set(KernelArmCortexA7 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a15")
|
||||
setup_qemu_armv7(ve)
|
||||
set(KernelArmCortexA15 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a53")
|
||||
setup_qemu_armv8()
|
||||
set(KernelArmCortexA53 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a57")
|
||||
setup_qemu_armv8()
|
||||
set(KernelArmCortexA57 ON)
|
||||
elseif("${ARM_CPU}" STREQUAL "cortex-a72")
|
||||
setup_qemu_armv8()
|
||||
set(KernelArmCortexA72 ON)
|
||||
else()
|
||||
message(FATAL_ERROR "Unsupported ARM_CPU: '${ARM_CPU}'")
|
||||
endif()
|
||||
|
||||
config_set(KernelARMPlatform ARM_PLAT qemu-arm-virt)
|
||||
config_set(KernelARMPlatform ARM_PLAT qemu-arm-virt)
|
||||
|
||||
if(NOT DEFINED QEMU_GIC_VERSION)
|
||||
set(QEMU_GIC_VERSION 2)
|
||||
endif()
|
||||
if(QEMU_GIC_VERSION EQUAL 3)
|
||||
set(KernelArmGicV3 ON)
|
||||
endif()
|
||||
if(NOT DEFINED QEMU_GIC_VERSION)
|
||||
set(QEMU_GIC_VERSION 2)
|
||||
endif()
|
||||
if(QEMU_GIC_VERSION EQUAL 3)
|
||||
set(KernelArmGicV3 ON)
|
||||
endif()
|
||||
|
||||
# If neither QEMU_DTS nor QEMU_DTB is set explicitly, the device tree is
|
||||
# extracted from QEMU. This keeps it nicely up to date with the the actual
|
||||
# QEMU versions that is used, and it's quite convenient for development.
|
||||
if(NOT DEFINED QEMU_DTS)
|
||||
# If neither QEMU_DTS nor QEMU_DTB is set explicitly, the device tree is
|
||||
# extracted from QEMU. This keeps it nicely up to date with the the actual
|
||||
# QEMU versions that is used, and it's quite convenient for development.
|
||||
if(NOT DEFINED QEMU_DTS)
|
||||
|
||||
set(QEMU_DTS "${CMAKE_BINARY_DIR}/qemu-arm-virt.dts")
|
||||
set(QEMU_DTS "${CMAKE_BINARY_DIR}/qemu-arm-virt.dts")
|
||||
|
||||
if(NOT DEFINED QEMU_DTB)
|
||||
if(NOT DEFINED QEMU_DTB)
|
||||
|
||||
message(STATUS "Extracting device tree from QEMU")
|
||||
set(QEMU_DTB "${CMAKE_BINARY_DIR}/qemu-arm-virt.dtb")
|
||||
message(STATUS "Extracting device tree from QEMU")
|
||||
set(QEMU_DTB "${CMAKE_BINARY_DIR}/qemu-arm-virt.dtb")
|
||||
|
||||
# Use the system's QEMU if no custom QEMU is provided. Have a sanity
|
||||
# check about the version to ensure it can be used.
|
||||
if(NOT QEMU_BINARY)
|
||||
set(QEMU_BINARY "qemu-system-${QEMU_ARCH}")
|
||||
find_program(QEMU_BINARY ${QEMU_BINARY})
|
||||
# ARM virtual platform works since QEMU 3.1.0
|
||||
set(MIN_QEMU_VERSION "3.1.0")
|
||||
execute_process(
|
||||
COMMAND ${QEMU_BINARY} -version
|
||||
RESULT_VARIABLE error
|
||||
OUTPUT_STRIP_TRAILING_WHITESPACE
|
||||
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()
|
||||
|
||||
endif()
|
||||
|
||||
if(NOT DEFINED QEMU_MACHINE)
|
||||
set(QEMU_MACHINE "virt")
|
||||
list(APPEND QEMU_MACHINE "secure=off")
|
||||
if(KernelArmHypervisorSupport OR KernelSel4ArchArmHyp)
|
||||
list(APPEND QEMU_MACHINE "virtualization=on")
|
||||
endif()
|
||||
if(Kernel32)
|
||||
list(APPEND QEMU_MACHINE "highmem=off")
|
||||
endif()
|
||||
list(APPEND QEMU_MACHINE "gic-version=${QEMU_GIC_VERSION}")
|
||||
list(APPEND QEMU_MACHINE "dumpdtb=${QEMU_DTB}")
|
||||
|
||||
# Lists are just strings with ";" as item separator, so we can
|
||||
# just replace them by ",". The cleaner way would be using the
|
||||
# CMake 3.12 feature: list(JOIN QEMU_MACHINE "," QEMU_MACHINE)
|
||||
string(
|
||||
REPLACE
|
||||
";"
|
||||
","
|
||||
QEMU_MACHINE
|
||||
"${QEMU_MACHINE}"
|
||||
)
|
||||
|
||||
endif()
|
||||
|
||||
if(NOT DEFINED QEMU_MEMORY)
|
||||
# Having 1 GiB of memory as default is a legacy from the past
|
||||
# that is kept for compatibility. It should be increased to
|
||||
# 2 GiB, which seems a good trade-off nowadays. It's sufficient
|
||||
# for test/demo systems, but still something the host can
|
||||
# provide without running short on resources.
|
||||
# The memory starts at 1 GiB (0x40000000), so up to 3 GiB can be
|
||||
# accessed before exceeding the 32-bit address space. For 32-bit
|
||||
# systems, using memory beyond this point is non-trivial. While
|
||||
# the LPAE MMU model supports accessing up to a 1 TiB (40-bit)
|
||||
# physical address space even on 32-bit systems, the 32-bit
|
||||
# version of seL4 can access physical addresses in the 32-bit
|
||||
# range only.
|
||||
set(QEMU_MEMORY "1024")
|
||||
endif()
|
||||
|
||||
if(KernelMaxNumNodes)
|
||||
set(QEMU_SMP_OPTION "${KernelMaxNumNodes}")
|
||||
else()
|
||||
set(QEMU_SMP_OPTION "1")
|
||||
endif()
|
||||
|
||||
# Run QEMU to get the device tree binary. Remember the command, so
|
||||
# it can be added to the DTS as reference. Every parameter must be
|
||||
# a separate string, as CMake will make it a dedicated argument
|
||||
# passed to QEMU then (e.g. "-machine virt" wont be recognized,
|
||||
# but "-machine", "vir" is).
|
||||
set(
|
||||
QEMU_CMD
|
||||
"${QEMU_BINARY}"
|
||||
"-machine"
|
||||
"${QEMU_MACHINE}"
|
||||
"-cpu"
|
||||
"${ARM_CPU}"
|
||||
"-smp"
|
||||
"${QEMU_SMP_OPTION}"
|
||||
"-m"
|
||||
"${QEMU_MEMORY}"
|
||||
"-nographic"
|
||||
)
|
||||
# At this stage CMake may not have created CMAKE_BINARY_DIR yet, so
|
||||
# ensure it exists and QEMU can put the DTB there.
|
||||
if(NOT EXISTS "${CMAKE_BINARY_DIR}")
|
||||
file(MAKE_DIRECTORY "${CMAKE_BINARY_DIR}")
|
||||
endif()
|
||||
# When dumping the DTB to a file, QEMU prints a status message to
|
||||
# stderr. Capture it and print on stdout to avoid polluting stderr
|
||||
# unnecessarily.
|
||||
execute_process(
|
||||
COMMAND ${QEMU_CMD}
|
||||
RESULT_VARIABLE error
|
||||
ERROR_STRIP_TRAILING_WHITESPACE
|
||||
ERROR_VARIABLE QEMU_STDERR_MESSAGE
|
||||
)
|
||||
if(QEMU_STDERR_MESSAGE)
|
||||
message(STATUS "${QEMU_STDERR_MESSAGE}")
|
||||
endif()
|
||||
if(error)
|
||||
message(FATAL_ERROR "Failed to dump DTB using ${QEMU_BINARY}: ${error}")
|
||||
endif()
|
||||
|
||||
endif()
|
||||
|
||||
# At this point there is a DTB file, either it was passed or dumped from
|
||||
# QEMU. Create a DTS and store it in QEMU_DTS_DATA.
|
||||
execute_process(
|
||||
COMMAND
|
||||
dtc -q -I dtb -O dts "${QEMU_DTB}"
|
||||
OUTPUT_VARIABLE QEMU_DTS_DATA
|
||||
RESULT_VARIABLE error
|
||||
)
|
||||
# Use the system's QEMU if no custom QEMU is provided. Have a sanity
|
||||
# check about the version to ensure it can be used.
|
||||
if(NOT QEMU_BINARY)
|
||||
set(QEMU_BINARY "qemu-system-${QEMU_ARCH}")
|
||||
find_program(QEMU_BINARY ${QEMU_BINARY})
|
||||
# ARM virtual platform works since QEMU 3.1.0
|
||||
set(MIN_QEMU_VERSION "3.1.0")
|
||||
execute_process(COMMAND ${QEMU_BINARY} -version RESULT_VARIABLE error
|
||||
OUTPUT_STRIP_TRAILING_WHITESPACE OUTPUT_VARIABLE QEMU_STDOUT_MESSAGE)
|
||||
if(error)
|
||||
message(FATAL_ERROR "Failed to create DTS from QEMU's DTB ${QEMU_DTB}: ${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()
|
||||
|
||||
set(QEMU_DTS_INFO "converted from ${QEMU_DTB}")
|
||||
if(QEMU_CMD)
|
||||
# Lists are just strings with ";" as item separator, so we can
|
||||
# simply replace them with something else. The cleaner way is a
|
||||
# CMake 3.12 feature: list(JOIN QEMU_CMD "\n * " QEMU_DTS_INFO)
|
||||
string(
|
||||
REPLACE
|
||||
";"
|
||||
"\n * "
|
||||
QEMU_DTS_INFO
|
||||
"DTS of QEMU v${QEMU_VERSION} for:;${QEMU_CMD}"
|
||||
)
|
||||
endif()
|
||||
|
||||
if(NOT DEFINED QEMU_MACHINE)
|
||||
set(QEMU_MACHINE "virt")
|
||||
list(APPEND QEMU_MACHINE "secure=off")
|
||||
if(KernelArmHypervisorSupport OR KernelSel4ArchArmHyp)
|
||||
list(APPEND QEMU_MACHINE "virtualization=on")
|
||||
endif()
|
||||
file(
|
||||
WRITE
|
||||
"${QEMU_DTS}"
|
||||
"/*\n"
|
||||
" * ${QEMU_DTS_INFO}\n"
|
||||
" */\n"
|
||||
"\n"
|
||||
"${QEMU_DTS_DATA}"
|
||||
)
|
||||
if(Kernel32)
|
||||
list(APPEND QEMU_MACHINE "highmem=off")
|
||||
endif()
|
||||
list(APPEND QEMU_MACHINE "gic-version=${QEMU_GIC_VERSION}")
|
||||
list(APPEND QEMU_MACHINE "dumpdtb=${QEMU_DTB}")
|
||||
|
||||
# Lists are just strings with ";" as item separator, so we can
|
||||
# just replace them by ",". The cleaner way would be using the
|
||||
# CMake 3.12 feature: list(JOIN QEMU_MACHINE "," QEMU_MACHINE)
|
||||
string(REPLACE ";" "," QEMU_MACHINE "${QEMU_MACHINE}")
|
||||
|
||||
endif()
|
||||
|
||||
if(NOT DEFINED QEMU_MEMORY)
|
||||
# Having 1 GiB of memory as default is a legacy from the past
|
||||
# that is kept for compatibility. It should be increased to
|
||||
# 2 GiB, which seems a good trade-off nowadays. It's sufficient
|
||||
# for test/demo systems, but still something the host can
|
||||
# provide without running short on resources.
|
||||
# The memory starts at 1 GiB (0x40000000), so up to 3 GiB can be
|
||||
# accessed before exceeding the 32-bit address space. For 32-bit
|
||||
# systems, using memory beyond this point is non-trivial. While
|
||||
# the LPAE MMU model supports accessing up to a 1 TiB (40-bit)
|
||||
# physical address space even on 32-bit systems, the 32-bit
|
||||
# version of seL4 can access physical addresses in the 32-bit
|
||||
# range only.
|
||||
set(QEMU_MEMORY "1024")
|
||||
endif()
|
||||
|
||||
if(KernelMaxNumNodes)
|
||||
set(QEMU_SMP_OPTION "${KernelMaxNumNodes}")
|
||||
else()
|
||||
set(QEMU_SMP_OPTION "1")
|
||||
endif()
|
||||
|
||||
# Run QEMU to get the device tree binary. Remember the command, so
|
||||
# it can be added to the DTS as reference. Every parameter must be
|
||||
# a separate string, as CMake will make it a dedicated argument
|
||||
# passed to QEMU then (e.g. "-machine virt" wont be recognized,
|
||||
# but "-machine", "vir" is).
|
||||
set(QEMU_CMD
|
||||
"${QEMU_BINARY}"
|
||||
"-machine"
|
||||
"${QEMU_MACHINE}"
|
||||
"-cpu"
|
||||
"${ARM_CPU}"
|
||||
"-smp"
|
||||
"${QEMU_SMP_OPTION}"
|
||||
"-m"
|
||||
"${QEMU_MEMORY}"
|
||||
"-nographic")
|
||||
# At this stage CMake may not have created CMAKE_BINARY_DIR yet, so
|
||||
# ensure it exists and QEMU can put the DTB there.
|
||||
if(NOT EXISTS "${CMAKE_BINARY_DIR}")
|
||||
file(MAKE_DIRECTORY "${CMAKE_BINARY_DIR}")
|
||||
endif()
|
||||
# When dumping the DTB to a file, QEMU prints a status message to
|
||||
# stderr. Capture it and print on stdout to avoid polluting stderr
|
||||
# unnecessarily.
|
||||
execute_process(COMMAND ${QEMU_CMD} RESULT_VARIABLE error ERROR_STRIP_TRAILING_WHITESPACE
|
||||
ERROR_VARIABLE QEMU_STDERR_MESSAGE)
|
||||
if(QEMU_STDERR_MESSAGE)
|
||||
message(STATUS "${QEMU_STDERR_MESSAGE}")
|
||||
endif()
|
||||
if(error)
|
||||
message(FATAL_ERROR "Failed to dump DTB using ${QEMU_BINARY}: ${error}")
|
||||
endif()
|
||||
|
||||
endif()
|
||||
|
||||
list(APPEND KernelDTSList "${QEMU_DTS}" "${CMAKE_CURRENT_LIST_DIR}/overlay-qemu-arm-virt.dts")
|
||||
|
||||
if(KernelSel4ArchAarch32)
|
||||
list(APPEND KernelDTSList "${CMAKE_CURRENT_LIST_DIR}/overlay-qemu-arm-virt32.dts")
|
||||
# At this point there is a DTB file, either it was passed or dumped from
|
||||
# QEMU. Create a DTS and store it in QEMU_DTS_DATA.
|
||||
execute_process(COMMAND dtc -q -I dtb -O dts "${QEMU_DTB}" OUTPUT_VARIABLE QEMU_DTS_DATA
|
||||
RESULT_VARIABLE error)
|
||||
if(error)
|
||||
message(FATAL_ERROR "Failed to create DTS from QEMU's DTB ${QEMU_DTB}: ${error}")
|
||||
endif()
|
||||
|
||||
if(KernelArmHypervisorSupport OR KernelSel4ArchArmHyp)
|
||||
list(APPEND KernelDTSList "${CMAKE_CURRENT_LIST_DIR}/overlay-reserve-vm-memory.dts")
|
||||
set(QEMU_DTS_INFO "converted from ${QEMU_DTB}")
|
||||
if(QEMU_CMD)
|
||||
# Lists are just strings with ";" as item separator, so we can
|
||||
# simply replace them with something else. The cleaner way is a
|
||||
# CMake 3.12 feature: list(JOIN QEMU_CMD "\n * " QEMU_DTS_INFO)
|
||||
string(REPLACE ";" "\n * " QEMU_DTS_INFO "DTS of QEMU v${QEMU_VERSION} for:;${QEMU_CMD}")
|
||||
endif()
|
||||
file(WRITE "${QEMU_DTS}" "/*\n" " * ${QEMU_DTS_INFO}\n" " */\n" "\n" "${QEMU_DTS_DATA}")
|
||||
|
||||
if(QEMU_GIC_VERSION EQUAL 3)
|
||||
set(GicHeader arch/machine/gic_v3.h)
|
||||
else()
|
||||
set(GicHeader arch/machine/gic_v2.h)
|
||||
endif()
|
||||
endif()
|
||||
|
||||
declare_default_headers(
|
||||
TIMER_FREQUENCY 62500000
|
||||
MAX_IRQ 159
|
||||
NUM_PPI 32
|
||||
TIMER drivers/timer/arm_generic.h
|
||||
INTERRUPT_CONTROLLER ${GicHeader}
|
||||
CLK_MAGIC 4611686019llu
|
||||
CLK_SHIFT 58u
|
||||
KERNEL_WCET 10u
|
||||
)
|
||||
list(APPEND KernelDTSList "${QEMU_DTS}" "${CMAKE_CURRENT_LIST_DIR}/overlay-qemu-arm-virt.dts")
|
||||
|
||||
if(KernelSel4ArchAarch32)
|
||||
list(APPEND KernelDTSList "${CMAKE_CURRENT_LIST_DIR}/overlay-qemu-arm-virt32.dts")
|
||||
endif()
|
||||
|
||||
if(KernelArmHypervisorSupport OR KernelSel4ArchArmHyp)
|
||||
list(APPEND KernelDTSList "${CMAKE_CURRENT_LIST_DIR}/overlay-reserve-vm-memory.dts")
|
||||
endif()
|
||||
|
||||
if(QEMU_GIC_VERSION EQUAL 3)
|
||||
set(GicHeader arch/machine/gic_v3.h)
|
||||
else()
|
||||
set(GicHeader arch/machine/gic_v2.h)
|
||||
endif()
|
||||
|
||||
declare_default_headers(
|
||||
TIMER_FREQUENCY 62500000 MAX_IRQ 159 NUM_PPI 32 TIMER drivers/timer/arm_generic.h
|
||||
INTERRUPT_CONTROLLER ${GicHeader} CLK_MAGIC 4611686019llu CLK_SHIFT 58u KERNEL_WCET 10u)
|
||||
|
||||
endif()
|
||||
|
||||
if(QEMU_GIC_VERSION EQUAL 3)
|
||||
set(GicSource src/arch/arm/machine/gic_v3.c)
|
||||
set(GicSource src/arch/arm/machine/gic_v3.c)
|
||||
else()
|
||||
set(GicSource src/arch/arm/machine/gic_v2.c)
|
||||
set(GicSource src/arch/arm/machine/gic_v2.c)
|
||||
endif()
|
||||
|
||||
add_sources(
|
||||
DEP "KernelPlatformQEMUArmVirt"
|
||||
CFILES ${GicSource} src/arch/arm/machine/l2c_nop.c
|
||||
)
|
||||
add_sources(DEP "KernelPlatformQEMUArmVirt" CFILES ${GicSource} src/arch/arm/machine/l2c_nop.c)
|
||||
|
||||
config_string(
|
||||
KernelUserTop USER_TOP "Set seL4_UserTop constant"
|
||||
DEFAULT ${qemu_user_top}
|
||||
UNQUOTE
|
||||
DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32"
|
||||
UNDEF_DISABLED
|
||||
)
|
||||
config_string(KernelUserTop USER_TOP "Set seL4_UserTop constant" DEFAULT ${qemu_user_top} UNQUOTE
|
||||
DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32" UNDEF_DISABLED)
|
||||
|
|
|
|||
Loading…
Reference in a new issue