I run the linux-libre kernel, but the linux kernel is in need of a trim and has resisted the gplv3.
There has been a project going over old linux kernel code and rewriting it in modern standards; it has already made significant speed improvements.
Hurd kernel would e very cool because of its microkernels and the idea of a 'gnu machine'