Thanks. I'm currently taking the OS course this sem and we plan to build a minimal OS for raspberry pi from scratch using the linux kernel, writing system programs on top of it.

For internships, I believe start ups are the best bet to gain experience and maybe gain a mentor for life.