attempt to index a nil value (global 'lvgl')

[vogler]

I wanted to try out an ESP32C3 board with Air101 LCD extension that I got here.

I followed the instructions to flash here using Luatools:

I tried https://github.com/dreamcmi/LuatOS-ESP32/blob/master/demo/lvgl/main.lua (changed to lcd.init to st7735s) and https://gitee.com/openLuat/LuatOS/tree/master/script/turnkey/lcd-0.96-lvgl but both fail with attempt to index a nil value (global 'lvgl'):

Do I need to upload any other files?
I initially flashed the firmware like so: