The awesomeness that you'd get from an erlang kernel + OS has already been achieved in lisp OSes, such as the stuff from Symbolics.
It's possible, it works, and it's totally cool but worse is better ( http://www.jwz.org/doc/worse-is-better.html ) and the brain-deadedness of the UNIX/POSIX way is about as bad (good) as it gets.
This, to me, is a reason to admire the Windows NT kernel internals... someday it too will be eaten by UNIX and people will look back on Windows for the novel features that it has and wonder why nobody brings them back.
It's possible, it works, and it's totally cool but worse is better ( http://www.jwz.org/doc/worse-is-better.html ) and the brain-deadedness of the UNIX/POSIX way is about as bad (good) as it gets.
This, to me, is a reason to admire the Windows NT kernel internals... someday it too will be eaten by UNIX and people will look back on Windows for the novel features that it has and wonder why nobody brings them back.