RADPx-OS Kernel (Radical Posix OS)  Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
rad_irq.h
1 #ifndef RADEMBEDDEDKERNEL_RAD_IRQ_H
2 #define RADEMBEDDEDKERNEL_RAD_IRQ_H
3 #include <radkernel/radkernel.h>
4 #endif
radkernel.h
Portable RADPx-OS kernel service ABI for RADLib and RADPx-OS targets.