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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
