http://hup.hu/cikkek/2010221/osmocombb_nyilt_forrasu_gsm_stack-et_jelen…
mikrokernelen bsd kernel fut...
ne keverjük már a mikrokernelt a virtualizációval.
mikrokernelen bsd unix szabvány szerinti szolgáltatásokat megvalósító user processzek futnak, ez a mikrokerneles oprendszer definíciója, amennyiben az bsd jellegű.
ja, meg a mikrokernelen a firmware is fut...