> az L4 mikrokernel pont
a linkeden mégis az van, hogy a seL4 egy mikrokernel
feloldanád ezt nekünk, mélyszakmai úr?
vagy azt se tudom hogy az általam is említett Fiasco/UX projektnél miért áll ott a hozzátok hasonló szellemi homelessek számára is emészthető módon, hogy "Fiasco-UX is a port of the Fiasco microkernel to the Linux system-call interface"
biztos ők is donkihótésat játszanak, kedves és mélyen tisztelt szakmaiprygme, és vxworksdeveloperigoor úr
a jövőben az ilyen égbekiáltó faszságaitoktól kérlek kíméljétek meg a jobb sorsra érdemes olvasókat, kthxbye