On 9 Jun 2015, at 1:51 , Hesham ALMatary <[email protected]> wrote: > > Hi all, > > This is the second status update of the project (Porting seL4 to > RISC-V). Please have a look at the blog post [1] for more details, and > feel free to ask and/or comment. You feedback would be appreciated. > > [1] > http://heshamelmatary.blogspot.co.uk/2015/06/sel4-on-risc-v-is-running-sos-simple.html
Impressive! Do you want a job ;-) Re 64-bit support: we are working on that right now, so you’ll have to merge with the new cross-architecture 64-bit code when it’s released. Gernot ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
