#include #include "Kernel.h" int UserInput(int pid, unsigned int signal) { Serial.println("UserInput called"); if (signal & SIGNAL_START) { Kernel_signal_mask(pid, SIGNAL_START | SIGNAL_STOP | SIGNAL_TICK); } if (signal & SIGNAL_TICK) { if (Kernel_read_input(KERNEL_INPUT_BUTTON_A)) { Kernel_signal(SIGNAL_INPUT_A); } if (Kernel_read_input(KERNEL_INPUT_BUTTON_B)) { Kernel_signal(SIGNAL_INPUT_B); } } return 0; }