Teensy 4.0 was released today

More details :
Teensy 4.0 Development Board at PJRC Store
Forum topic :
https://forum.pjrc.com/threads/54711-Te ... -Beta-Test
But the firmware is in .uf2 format. How to use an .uf2 firmware on Teensy 4.0 ?
AFAIK, Teensy Loader CLI needs .hex firmwares.
Code: Select all
$ screen /dev/ttyACM0
Auto-reload is on. Simply save files over USB to run them or enter REPL to disable.
Press any key to enter the REPL. Use CTRL-D to reload.
Adafruit CircuitPython 5.0.0-beta.3-6-g926375d99-dirty on 2020-01-10; Teensy 4.0 with IMXRT1062DVJ6A
>>> import gc
>>> gc.collect()
>>> gc.mem_free()
746976
>>> import os
>>> os.uname()
(sysname='mimxrt10xx', nodename='mimxrt10xx', release='5.0.0', version='5.0.0-beta.3-6-g926375d99-dirty on 2020-01-10', machine='Teensy 4.0 with IMXRT1062DVJ6A')
>>> help('modules')
__main__ busio microcontroller struct
_os collections micropython supervisor
_pixelbuf digitalio neopixel_write sys
_time errno os time
analogio gamepad pulseio touchio
array gc random usb_hid
bitbangio io re usb_midi
board json rtc
builtins math storage
Plus any modules on the filesystem