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 <[email protected] 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 > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
