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
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 tim.newsham+sel4@gmail.com wrote:
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
One more file -- the default config for beaglebone in sel4test.
On Sun, Feb 15, 2015 at 9:24 PM, Tim Newsham tim.newsham+sel4@gmail.com wrote:
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 tim.newsham+sel4@gmail.com wrote:
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
-
Tim Newsham -
Tim Newsham