Hi, I got it working. I had to go into fiasco config: cd .../l4/kernel/fiasco make config and enable a fourth experimental option in ABI extensions: -->Allow association of multiple IRQs Thanks for help! -andrew