On Wed, Mar 30, 2016 at 6:10 PM, Julien Delange wrote:

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.

Great , Thank you !

On Wed, Mar 30, 2016 at 7:33 PM, Jorge Alberto Garcia 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel