I feel like a gradualist approach may be better for those applications. Start with "vanilla" k8s, and iteratively target subsystems to shrink down. Either by porting to Rust or simply optimizing the Go code for low RAM environments.

True, for RPI it makes more sense. For microcontrollers it's a different story :D

I think it'd be great to put some effort into this, as a separate project perhaps.