There's the similar DragonOS for the Raspberry Pi.

https://sourceforge.net/projects/dragonos-pi64/