Back in college our OS course used OpenBSD and I had a great time learning kernel development. Too bad I'm heavily invested in Arch right now!