검색어: microkernel (영어 - 체코어)

debian gnu/hurd is the debian project's distribution of the gnu operating system, using the gnu hurd microkernel.
debian gnu/hurd je distribuce gnu operačního systému debian, používající mikrojádro gnu hurd.

3. this is interesting too and i'd like to discuss it in the same topic. microkernel is certainly very specific program with very strong requirements in efficiency, memory and overhead.
3. this is interesting too and i'd like to discuss it in the same topic. microkernel is certainly very specific program with very strong requirements in efficiency, memory and overhead.

"l4/fiasco/l4linux kickstart", distributed & embedded systems lab - lanzhou university* evolution of l4 design and implementation approaches== external links ==* l4hq: l4 headquarters, community site for l4 projects* the l4 microkernel family: overview over l4 implementations, documentation and projects* official tud:os wiki* l4ka: implementations l4ka::pistachio and l4ka::hazelnut* unsw: implementations for dec alpha and mips architecture* okl4: commercial l4 version from open kernel labs* nicta l4: research overview and publications* genode operating system framework, an offspring of the l4 community
"l4/fiasco/l4linux kickstart", distributed & embedded systems lab – lanzhou university* evolution of l4 design and implementation approaches== externí odkazy ==* l4hq: l4 headquarters, community site for l4 projects* the l4 microkernel family: overview over l4 implementations, documentation and projects* official tud:os wiki* l4ka: implementations l4ka::pistachio and l4ka::hazelnut* unsw: implementations for dec alpha and mips architecture* okl4: commercial l4 version from open kernel labs* nicta l4: research overview and publications* genode operating system framework, an offspring of the l4 community* zdrojové kódy sel4 otevřeny