Google Git
Sign in
opensecura / 3p / sel4 / camkes / refs/heads/master / . / apps / testhardwareinterrupt
tree: 69ac0498a095bfb20d4b43eb31e34e506a62a695 [path history] [tgz]
  1. C.c
  2. CMakeLists.txt
  3. README.md
  4. settings.cmake
  5. testhardwareinterrupt.camkes
apps/testhardwareinterrupt/README.md

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