Very cool! Would suggest https://oshub.org/explore if youre interested in hobby operating systems.