On Tue, Mar 17, 2015 at 5:56 PM, Fred <[email protected]> wrote: > From the main page. > > "If you would like to learn how to build a system on seL4, you might want to > follow the lectures and especially the seL4-based project of UNSW's Advanced > Operating Systems course." > > > Request: > Is it possible to obtain access to the recorded lectures as well as the > notes? > Also assignment templates appear to be only available to enrolled students. > I understand that publicly posting solutions to the assignments may be a > problem. > e.g. > git clone > ssh://[email protected]//home/cs9242/public_html/current/project/files/aos-2014 > +1 > > Background: > Our project is in the internally funded phase of an open-source platform > for medical simulation and training (similar to SimMan). > The system consists of intercommunicating modules > where each module runs a minimal OS. > > Thanks > > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
-- Hesham _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
