#include "hal/vsf_hal_cfg.h"
#include "../__device.h"
#include "../driver.h"
common hal drivers
initialise interrupt controller;