Of course! I'll try to put some docs together next week. It'd help if you
could put together a 'getting started' how -to document similar to the ones we
have already for other platforms that I could use as a starting point.
On 21 March 2015 09:33:43 GMT+11:00, Tim Newsham <[email protected]>
wrote:
>Now that sel4, sel4test and refos work on beaglebone,
>perhaps it could be mentioned on the sel4 web page?
>If there's anything I can do to help make that happen,
>please let me know.
>
>Tim
>
>_______________________________________________
>Devel mailing list
>[email protected]
>https://sel4.systems/lists/listinfo/devel
--
Sent from my Android device with K-9 Mail. Please excuse my brevity.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel