adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

archirq: bump haskell kernel version

This commit is contained in:
Joel Beeren 2016-01-18 10:30:24 +11:00
parent efb4c61816
commit cb4cb4201c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/design/version
View File

@ -1,5 +1,5 @@
Built from git repo at /net/nfshome/export/home/insecure/jbeeren/work/test/seL4/haskell by jbeeren
Generated from changeset:
d59b73d Remove redundant IRQInterruptControl invocation, and replace with a mechanism to actually decode arch specific IRQ invocations
6e169c1 archirq: rename missed label to invLabel