LVGL v9 on ESP32-S3 and round display

Has anyone managed to get LVGL v9 running on a Seeed Xiao ESP32-S3 and Xiao round display?

I’ve no problem using LVGL v8 (following the instructions on the Seeed website), but I need to move a project that I have on an Elecrow ESP32-C3 display over to the Xiao as I’ve run out of memory on the Elecrow. That’s written on LVGL v9, so I don’t want to have to down grade back to v8 if I can avoid it.

You can check this repo: GitHub - Seeed-Studio/Seeed_Arduino_RoundDisplay: An Arduino graphics library based on LVGL, specifically designed for Round Display for XIAO