Feels like build tutorial is broken

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.

related to Where can I set "KernelArch" variable to build seL4? · Issue #908 · seL4/seL4 · GitHub, seems this resolved by now.