Re: [seL4] Building seL4x86_64 on Debian

Any reason you aren't using the Docker image to build everything? https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles On Tue, Dec 4, 2018, 8:26 PM Dave Richards

I thought I got all of the host dependencies installed, but evidently I am doing something wrong. I am building on Debian 9 (x86_64) system. I ran the init script from the build directory with the –DPLATFORM=x86_64 and –DSIMULATION=0 options. I then ran ninja with no options. Please find attached the output of running these 2 steps. I’d appreciate a gentle nudge in the right direction.

Thanks!

Dave

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel