[adql]

> so you could even run it bare metal on a Raspberry Pi Pico (RP2040)

Got any more details on that? Are we talking "takes half of the RP2040 flash just to initialize hello world" or something smaller ?

[ogoffart]

You can run pretty complex UI already https://www.youtube.com/watch?v=dkBwNocItGs