[seL4] [PATCH] - fix am335x spurious interrupt issue

Tim Newsham tim.newsham+sel4 at gmail.com
Sat Feb 21 13:50:20 EST 2015


patch for seL4 kernel attached.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-fix-am335x-spurious-interrupt-issue.patch
Type: text/x-patch
Size: 1813 bytes
Desc: not available
URL: <http://sel4.systems/pipermail/devel/attachments/20150220/95d0e88f/attachment.bin>


More information about the Devel mailing list