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.