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