int main() { // configure IO pins LED0.Direct(OUTPUT); LED0.Off(); LED1.Direct(OUTPUT); LED1.Off(); // run OS OS::run(); }