On Wed, Dec 8, 2021 at 8:58 AM <so_s(a)gmx.de> wrote:
Hello Kent,
Thank you for your answer. And thank you for the point about the CMakeList.txt files.
That was the thing I messed up.
Ok. Glad you got it working.
It looks like your settings file originally came from an older version
of the one in sel4-tutorials
(
https://github.com/seL4/sel4-tutorials/blob/master/settings.cmake)
The options that come after
`include(/host/kernel/configs/seL4Config.cmake)` aren't critical for
your hello application and are mostly sel4-tutorial specific so should
be safe to remove if you're trying to get down to a simple/minimal
example.
Bellow you can find the contents of my settings.cmake
file:
include_guard(GLOBAL)
set(project_dir "${CMAKE_CURRENT_LIST_DIR}/../../")
file(GLOB project_modules ${project_dir}/projects/*)
list(
APPEND
CMAKE_MODULE_PATH
${project_dir}/kernel
${project_dir}/tools/cmake-tool/helpers/
${project_dir}/tools/elfloader-tool/
${project_modules}
)
include(/host/application_settings.cmake)
set(KernelArch "riscv")
set(KernelPlatform "spike")
set(KernelSel4Arch "riscv")
include(/host/kernel/configs/seL4Config.cmake)
set(CapDLLoaderMaxObjects 20000 CACHE STRING "" FORCE)
set(KernelRootCNodeSizeBits 16 CACHE STRING "")
# For the tutorials that do initialize the plat support serial printing they still
# just want to use the kernel debug putchar if it exists
set(LibSel4PlatSupportUseDebugPutChar true CACHE BOOL "" FORCE)
# Just let the regular abort spin without calling DebugHalt to prevent needless
# confusing output from the kernel for a tutorial
set(LibSel4MuslcSysDebugHalt FALSE CACHE BOOL "" FORCE)
# Only configure a single domain for the domain scheduler
set(KernelNumDomains 1 CACHE STRING "" FORCE)
# We must build the debug kernel because the tutorials rely on seL4_DebugPutChar
# and they don't initialize a platsupport driver.
ApplyCommonReleaseVerificationSettings(FALSE FALSE)
# We will attempt to generate a simulation script, so try and generate a simulation
# compatible configuration
ApplyCommonSimulationSettings(${KernelSel4Arch})
if(FORCE_IOMMU)
set(KernelIOMMU ON CACHE BOOL "" FORCE)
endif()
Kind regards,
Sophia
_______________________________________________
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems