Necessary stuff for future implementation of IRQ handling
add a missing file