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>