Changes to QEMU to accomodate the teensy3.x arm platform (Cortex-m4)