Test of seL4HardwareInterrupt compilation. This application is not intended to run as its interrupt setup is entirely fabricated.