https://github.com/ohenley/awesome-ada

Hmm looks like there are some interesting stuffs under "OS and Kernels" category. Thank you.