If you want to get into kernel development (something I have no experience with except reading headers for various userspace interfaces), perhaps starting with

If you want to get into kernel development (something I have no experience with except reading headers for various userspace interfaces), perhaps starting with an education OS is good. I did take OS in undergrad and that was probably where I got most familiar with C. This might be a useful place to start: https://web.stanford.edu/class/cs140/projects/pintos/pintos.html#SEC_Contents https://web.stanford.edu/class/cs140/projects/pintos/pintos....