Re: [seL4] Compiling seL4

...

...

...

...

"Yousif" == Yousif Kako writes:

Yousif> it says that after the command "ninja", I will be Yousif> given binaries in the folder "images". But, I do not get such Yousif> folder nor any images. I tried re-configuring some settings Yousif> using cmake-gui but still nothing. What repo (seL4 project) did you start from? What command line are you using to initialise the build? Were you able to complete the tutorials first? Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61, CSIRO (formerly NICTA)