#include <libopencm3/cm3/cortex.h>
#include <libopencm3/cm3/nvic.h>
+#include <libopencm3/cm3/scb.h>
#include <libopencm3/cm3/systick.h>
#include <libopencm3/stm32/rcc.h>
#include <libopencm3/stm32/gpio.h>
clock_setup();
gpio_setup();
tick_setup();
+ // This is needed when programming via serial boot loader, harmless otherwise.
+ SCB_VTOR = 0x08000000;
cm_enable_interrupts();
for (;;) {