Re: [seL4] am335x patches - refos working

Hi Tim, Thanks for the patches. Unfortunately I have been a bit busy to properly look at these, but I hope to get to them before the end of the week. Apologies for the delay. Adrian On 17/03/15 08:04, Tim Newsham wrote: RefOS is now working fine on am335x / beaglebone black. Patches attached. Tim _______________________________________________ Devel mailing list Devel@sel4.systems<mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel ________________________________ 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.