The sel4 tutorials are available at https://github.com/seL4-projects/sel4-tutorials/ There are tutorials for sel4 and camkes. You can use the virtualbox image or your own system. It should be up to date.
On Wed, Mar 30, 2016 at 7:33 PM, Jorge Alberto Garcia < [email protected]> wrote: > Hi folks > > Is there any Documentation/Tutorial about how to do a build > to start testing seL4 ? > > where can I find the current boards/architectures supported? > > Thanks! > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
