clock_setup();
gpio_setup();
tick_setup();
- // This is needed when programming via serial boot loader, harmless otherwise.
- SCB_VTOR = 0x08000000;
+ // When using the serial boot loader, we need this:
+ // SCB_VTOR = 0x08000000;
cm_enable_interrupts();
for (;;) {