[PATCH] - fix am335x spurious interrupt issue - Devel - lists.sel4.systems

List overview All Threads
Download

[PATCH] - fix am335x spurious interrupt issue

question about repo

How are capabilities assigned

Tim Newsham

21 Feb 2015 21 Feb '15

1:50 p.m.

patch for seL4 kernel attached.

Attachments:

0001-fix-am335x-spurious-interrupt-issue.patch (text/x-patch — 1.8 KB)

Reply

Show replies by date

3345

Age (days ago)

3345

Last active (days ago)

devel@sel4.systems

0 comments

1 participants

tags (0)

participants (1)

Tim Newsham