[seL4] Re: "Incorporating into your project"

Hi Gerwin, Unfortunately that does not work for me either. I am using the seL4 docker container if that matters. This is an example gist setting up the problem I am encountering: https://gist.github.com/fosslinux/96a9a24eaa4ebaea9d4b829a099bb01f Kind regards, ST On 27/9/21 11:10 am, Gerwin Klein wrote:

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