#include "hal/vsf_hal_cfg.h"
#include "./device.h"
#include "./driver.h"
common hal drivers
initialise interrupt controller;
\tagpll_init[]
\endpll_init[]
\tag::configure_clk_sys[]
\end::configure_clk_sys[]