id:kohtaniさんが，組込みリアルタイムOSを開発されている立場から，GNU/Hurdについて書かれている．GNU/Hurdは名前こそ知っていたが，なんとなく近寄り難い感じがして，ちゃんと調べたことがなかった．GNU/HurdはマイクロカーネルOSで，OSのサービスはユー…