5 Dec
2018
5 Dec
'18
12:32 p.m.
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 <dave@synergy.org wrote:
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