am335x patches - refos working - Devel - lists.sel4.systems

newer
Port seL4 to allwinnerA20

am335x patches - refos working

older
How to get a helper thread's TCB?

Tim Newsham

17 Mar 2015 17 Mar '15

8:04 a.m.

RefOS is now working fine on am335x / beaglebone black. Patches attached. Tim

Attachments:

expkernel_0001-allow-UART-to-be-used-even-in-debug-mode.patch (text/x-patch — 1017 bytes)
libplatsupport_0001-add-getchar-support-not-yet-tested.patch (text/x-patch — 1.4 KB)
libplatsupport_0002-enable-receive-interrupts-on-am335x-uart.patch (text/x-patch — 1.1 KB)
refos_0001-fix-uncachable-io-mappings.patch (text/x-patch — 2.0 KB)

Reply

Sign in to reply online Use email software

Show replies by date

Visit here for a non-javascript version of this page.

3999

Age (days ago)

4027

Last active (days ago)

Download

3 comments

4 participants

tags

participants (4)

Adrian Danis
HyperNewbie
Tim Newsham
Tim Newsham