Personally, I'm not interested in making device drivers look like user-level. They aren't, they shouldn't be, and microkernels are just stupid.

The cyberspace 'earnings' I get from Linux come in the format of having a Network of people that know me and trust me, and that I can depend on in return.

It's what I call "mental masturbation", when you engage is some pointless intellectual exercise that has no possible meaning.

Other people have other goals, and sometimes the BSD style licenses are better for those goals. I personally tend to prefer the GPL, but that really doesn't mean that the GPL is any way inherently superior - it depends on what you want the license to do.

Making Linux GPL'd was definitely the best thing I ever did.

In real open source, you have the right to control your own destiny.

I never felt that the naming issue was all that important, but I was obviously wrong, judging by how many people felt. I tell people to call it just plain Linux and nothing more.