Ha az seL4 mikrokernelre gondolsz, akkor azt 4 évig bizonyították és mindössze 7500 sornyi kódról beszélünk, amelyik önmagában semmire se jó. Összehasonlításképp: a Linux kernel 0.01 verziója volt nagyjából ugyanennyi.
Ha az seL4 mikrokernelre gondolsz, akkor azt 4 évig bizonyították és mindössze 7500 sornyi kódról beszélünk, amelyik önmagában semmire se jó. Összehasonlításképp: a Linux kernel 0.01 verziója volt nagyjából ugyanennyi.