MicroPython v1.11-423-g06ae818f9 on 2019-10-10; MCUDEV STM32F407VE with STM32F407VE
Type "help()" for more information.
>>> import os
>>> os.listdir()
['System Volume Information', 'a.z80', 'virsynth.z80', 'Fearzone48_2018.z80', 'AYTracker.z80', 'Melody Master.z80',..., 'ZX Poker.z80']
Enable SD Card. Since my pull request was merged upstream (see https://github.com/micropython/micropython/pull/5185#event-2701488861), I suggest to enable the SD card. I tried, it works: