Hi ST,
it might be as simple as `x86_64` instead of `X86_64`, at least I'm getting the same error when I use upper case for the platform.
You will need to start in a fresh build directory (i.e. delete the old one), because the attempt that produces the error already leaves behind files that CMake will try to use.
This succeeds for me:
mkdir build cd build ../init-build.sh -DPLATFORM=x86_64 -DSIMULATION=TRUE
Cheers, Gerwin
On 26 Sep 2021, at 20:45, fosslinux fosslinux@aussies.space wrote:
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