[seL4] am335x patches

Tim Newsham tim.newsham at gmail.com
Tue Feb 17 04:08:15 EST 2015


One more file -- the default config for beaglebone in sel4test.

On Sun, Feb 15, 2015 at 9:24 PM, Tim Newsham <tim.newsham+sel4 at 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 at 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 | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sel4test_0001-add-debug-config-for-beaglebone.patch
Type: text/x-patch
Size: 4164 bytes
Desc: not available
URL: <http://sel4.systems/pipermail/devel/attachments/20150216/85f34e52/attachment.bin>


More information about the Devel mailing list