Looks like the latest version does not compile for stm32.
$ python3 make.py stm32 BOARD=NUCLEO_H563ZI
CC /Users/rolandzitzke/Coding/lvgl_micropython/ext_mod/lcd_bus/lcd_types.c
-e See https://github.com/micropython/micropython/wiki/Build-Troubleshooting
In file included from /Users/rolandzitzke/Coding/lvgl_micropython/ext_mod/lcd_bus/modlcd_bus.c:5:
/Users/rolandzitzke/Coding/lvgl_micropython/ext_mod/lcd_bus/common_include/spi_bus.h:87:13: error: unknown type name 'machine_hw_spi_device_obj_t'
87 | machine_hw_spi_device_obj_t *spi_bus;
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~
Apparently machine_hw_spi_device_obj_t cannot be found.