I just released the first alpha version of my RISC-V hobby kernel, written in Ada: https://github.com/ajxs/straylight

My next step is documenting how all of the subsystems work (such as virtual memory, allocators, drivers, etc.), then lay the project to rest. I don't have any grand ambitions for the kernel. The project was just a labor of love, and a way to learn some interesting things! Hopefully some of the documentation can serve as learning material for other people interested in osdev.