A USB device driver for MioSix OS with Discovery F4 as target