@AC #
Posted Thursday 9th April 2009 23:50 GMT
I think you're right.
Another project led by a seriously competent bloke, Jonathan Shapiro, for building a decent kernel (coyotos) from a mathematically verifiable language (bitc) is now suddenly dead. MS bought him out. I don't blame him, not at all, but the project which was of real value is instantly not a threat to MS now. So a (potential) alternative and utterly rock-solid linux kernel is no more.
MS is playing a long game. Clever but low & vicious.
BTW TPMorgan: "seasoned chip designer of the caliber of Marc Tremblay" - is he one of the guys who designed the sparc with its register window? Proper competent bit of work that was. Cost sun badly.


