Dirkjan Ochtman

@garybernhardt feasibility of the microkernel approach by using CSP and maybe something like PNaCl-style verification to replace mem safety.

http://twitter.com/djco

11 years ago

Mark Twomey

@GeorgeReese The GNU Hurd microkernel. I think he's still trying to figure out how to do it in Lisp.

http://twitter.com/Storagezilla

11 years ago

Mr Wale OG

RT @Fel_Steve: Computer Architecture"@KINSKYofficial: Microkernel architecture"

http://twitter.com/KINSKYofficial

11 years ago

Coach Carter

Computer Architecture"@KINSKYofficial: Microkernel architecture"

http://twitter.com/Fel_Steve

11 years ago

Mr Wale OG

Microkernel architecture

http://twitter.com/KINSKYofficial

11 years ago

Uli Kusterer

@rentzsch E.g. When you mentioned the Mach microkernel, I was wondering whether Classic was a 'personality'. How is it bolted onto OS X?

http://twitter.com/uliwitness

11 years ago

softmetz

Multi-Server Microkernel OS Genode 12.11 Can Build Itself http://t.co/Rxxh1z8r

http://twitter.com/softmetz

11 years ago