[seL4] Re: "Incorporating into your project"

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 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