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 <tim.newsham+sel4@gmail.com> 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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

--
Sent from my Android device with K-9 Mail. Please excuse my brevity.