Dear seL4 devs and community.
I am attempting to integrate seL4 into a new project of mine. To begin
setting up this project, I used
https://docs.sel4.systems/projects/buildsystem/incorporating.html
as a reference to set up the structure of the repository (FWIW, I did
not use repo, however I do not believe this should impact the build system).
However, it appears these instructions may be outdated(?) or otherwise
incorrect.
I set up a file structure as shown under the heading "Kernel directory"
in the above webpage, taking sources from;
kernel/ -> https://github.com/sel4/sel4
projects/seL4_libs/ -> https://github.com/seL4/seL4_libs
tools/ -> https://github.com/seL4/seL4_tools
I symlinked default-CMakeLists.txt to CMakeLists.txt in the root
directory as well as init-build.sh to the root directory.
I created a build directory, and from within that directory, executed
../init-build.sh -DPLATFORM=X86_64 -DSIMULATION=TRUE, but this produced
the CMake error;
CMake Error at kernel/configs/seL4Config.cmake:174 (message):
Variable 'KernelArch' is not set.
Call Stack (most recent call first):
kernel/CMakeLists.txt:10 (include)
(I got the same result regardless of PLATFORM value).
I cannot tell where the issue lies. Any pointers would be appreciated.
Kind regards,
ST (fossy)
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
