Is there a kernel folder in the directory above your build directory, adjacent to the init script that you are calling? Can you instead try running ./init --plat pc99 --tut hello-camkes-2 --solution in the top directory of the project. It will create a build directory for you. >>> Could not find toolchain file: ../kernel/gcc.cmake >>> Call Stack (most recent call first): >>> CMakeLists.txt >>> >>> >>> CMake Error: CMake was unable to find a build program corresponding >>> to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need to >>> select a different build tool. >>> CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage >>> CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
