The most interesting part to me right now is running Zig on a microcontroller, since that's something I really wanted to do this year (like a new year's resolution thing). I've been interested in Zig for a while, but I've never done any serious learning/programming with it, so I might look at your OS repo to at least gain some inspiration on how deploying to a microcontroller works.
It also seems like it would be a really good way to learn embedded electronics in general, since if I wanted to learn something new, eg lower level network programming, I could make and program a network card, or usb hosting, or anything like that.
I'll definitely try to do it one day, once I've finished all my current projects haha