> "a világ első nyílt forrású mikrokernele, amely formálisan bizonyítottan nem tartalmaz runtime error-t forráskód szinten" Ez szépen hangzik, csak élek a gyanúval, hogy a gyakorlatban semmit nem érsz ezzel az állítással. Avagy subscribe.