If you navigate deeper into the ports folder, you'll find that there are now more than a dozen different ports for MicroPython. In my opinion, the stm32 port is the best supported port, but some of the wireless chips are also good contenders, such as the esp8266. You can see that all the architectures that are currently supported in MicroPython are contained within the port's directory, as in the following screenshot:
If you open up the stm32 folder, you'll find a few different items of interest. First, it contains all the drivers and C code modules that are required to drive an STM32 microcontroller. ...