Hi,
I am trying to build seL4 and run on a bare-metal machine.
I followed the tutorial “Getting Started | seL4 docs” but failed to build with errors below:
CMake Error at CMakeLists.txt:9 (include):
include could not find load file:
settings.cmake
-- The C compiler identification is GNU 9.4.0
-- Check for working C compiler: /usr/bin/gcc
-- Check for working C compiler: /usr/bin/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- The CXX compiler identification is GNU 9.4.0
-- Check for working CXX compiler: /usr/bin/g++
-- Check for working CXX compiler: /usr/bin/g++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- The ASM compiler identification is GNU
-- Found assembler: /usr/bin/gcc
CMake Error at seL4/configs/seL4Config.cmake:172 (message):
Variable 'KernelArch' is not set.
Call Stack (most recent call first):
seL4/CMakeLists.txt:10 (include)
-- Configuring incomplete, errors occurred!
See also "/home/mincheol/mnt/awesome_system/build/CMakeFiles/CMakeOutput.log".
I admit that I am not familiar with cmake. How can I fix this? where can I set KernelArch variable? Where can I get the settings.cmake file? The tutorial is so confusing to me.