On Wed, Dec 8, 2021 at 8:58 AM <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
