I've been thinking about something similar: wouldn't it be possible to create an OS that supports both Linux and Windows executables? (And maybe also Mac while we're at it.) Probably not based on the Linux kernel, but perhaps on a microkernel of some sort. But if it already works with BSD, that's even better.