There is a micro kernel version that runs on RP2040 would that work for you?
Unfortunately, I want a desktop environment, so probably not.
alt Hacker News
Unfortunately, I want a desktop environment, so probably not.