Hi,
Am in the process of learning seL4 and have managed to get, build and
run the tutorials, which is great.
Now looking at creating an application and I have a question about seL4
builds.
The documentation here...
https://docs.sel4.systems/projects/buildsystem/incorporating.html refers
to a build setup that AFAICT is different to the reference application,
which I think is here... https://github.com/seL4proj/sel4webserver
Which is the best approach to follow?
Best, Matt
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
