IRQ: Allow retyping of IRQSrc capability
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Mon, 10 Oct 2016 13:24:33 +0000 (15:24 +0200)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Fri, 14 Oct 2016 16:11:52 +0000 (18:11 +0200)
commit39e984bf29035d7c5b663e2634b863a73b2a5256
treedcb06f8d9c07d4d99de9b09c57ad85c2c632e75e
parentd30a3f6b58a86581f05b6ecc0610c14fab8f2015
IRQ: Allow retyping of IRQSrc capability

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
capabilities/caps.hl
errors/errno.fugu
kernel/capabilities.c
lib/barrelfish/capabilities.c
usr/kaluga/start_pci.c