Microkernel Linux

[Jan P. Schier]

> Dobry den,
> mam problem. Poreboval bych poradit ,kde sehnat instalaci Linuxu
> zalozenou na microkernelu.Nasel jsem sice MKLinux ,ale pouze pro
> PowerPC (potreboval bych ho pro Intela).

Pokud vim, v ramci debianu je vyvijena verze pro GNU-Hurd, coz pry je
mikrokernel. Nesleduji ale tuto oblast, takze prominte, pokud se mylim
a Hurd neni mikrokrenel, neni pravda.

S pozdravem
--
                           Jan Schier
			   
Dept. of Adaptive Systems, 
Inst. of Information Theory and Automation  
Academy of Sciences of the Czech Republic   
P.O. Box 18, 182 08 Prague, Czech Republic  

Tel:     +420 2 6605 2251  Fax:     +420 2 688 4903 
         +420 2 688 3421   E-mail:  schier na utia.cas.cz