/* * Trampoline OS * * This software is distributed under the Lesser GNU Public Licence * * Trampoline posix machine irq generator * */ #ifndef tpl_posixvp_h #define tpl_posixvp_h #include extern void tpl_posixvp_irq_gen_init(); void set_leds(uint8_t led); void reset_leds(uint8_t led); #define RED 0x1 #define GREEN 0x2 #define BLUE 0x4 #define YELLOW 0x8 #endif