Here's an updated set of patches, inclusive of the last.
I haven't seen the earlier ones show up in git yet, but if
they do, I can send out incrementals based on those if
necessary.
With these, the sel4test can now run to completion, passing
all the tests. There are still spurious interrupts being reported,
and you may want to comment out the printf that reports them
for now (not included in my patches)...
On Fri, Feb 13, 2015 at 6:32 PM, Tim Newsham
This set of fixes pushes AM335x support closer to working. With these patches and the previously submitted bootloader fix (https://github.com/seL4/elfloader-tool/issues/2) sel4 can boot and the sel4test project can run through some of the test cases. There are still some notable ommissions like missing timer and uart features and lack of uart IRQ support.
- sel4 kernel - fix up sel4 kernel support for the am335x timer - note: this still receives lots of spurious interrupts - libplatsupport - bring code into line with conventions used by other ports - bring the uart code to life. PIO only for now - support multiple timers - libsel4platsupport - bring code into line with conventions used by other ports
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com