blob: 092c9ae5303384c28f30193079d305f6b7be4273 [file] [view]
<!--
Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
SPDX-License-Identifier: CC-BY-SA-4.0
-->
Test of seL4HardwareInterrupt compilation. This application is not intended to
run as its interrupt setup is entirely fabricated.