+LGTM on the RefOS patch. Cannot speak for the other 3 patches.
- Xi
On 16 March 2015 at 14:04, Tim Newsham tim.newsham+sel4@gmail.com wrote:
RefOS is now working fine on am335x / beaglebone black. Patches attached.
Tim
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel