On Wed, Mar 30, 2016 at 6:10 PM, Julien Delange <[email protected]> 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 > <[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
