USB serial and mass storage works, and the REPL is also available via the UART through the on-board ST-LINK.