Hello,
I am a student researcher, I am trying to compile seL4 using the Configuring and building an seL4 project guidelines on your website ( https://docs.sel4.systems/Developing/Building/Using). And on the site, it says that after the command "ninja", I will be given binaries in the folder "images". But, I do not get such folder nor any images. I tried re-configuring some settings using cmake-gui but still nothing.
I am want to write a user-level application but I am not sure if I am going about this the right way.
If you have any suggestions or if you can point me in the right direction, that would be great.
Thank You