For something super lightweight you can try https://pr.pico.sh/

I agree. For everyone’s sake they should rip Rust out and put all that effort into RedoxOS. There is way too much misalignment for this to be constructive.