Steps: 1. mbed import mbed-os-example-uvisor-thread 2. mbed update mbed-os-5.9.0.-oob 3. mbed compile -t GCC_ARM -n k64F -f 4. reset the device. expected: Example runs with some printfs on the serial console actual: Nothing happens on the serial terminal. 