#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();
+ // When using the serial boot loader, we need this:
+ // SCB_VTOR = 0x08000000;
cm_enable_interrupts();
for (;;) {