Agreed. I also want to learn more about micro kernels as well, which the BSDs use.
I think we have a pretty interesting dynamic viewing the two different licensing schemes. Linux/gnu has been making some huge strides, whereas BSD is kind of just very slowly chugging along in niche areas. It does seem to be pretty damn good at the things it does, though. I honestly feel like the BSD license should be a better license because it gives more freedom, but with the existence of greed and capitalism GPL is required to get profit seekers (greedy bastards) to play nice.
Edit: I was wrong, got it mixed up with gnu Hurd when looking things up in the past