Programovanie
seL4 nejbezpečnější mikrojádro dneška?
Google AI mi řekla, že mikrojádro operačního systému seL4 je do dnešního dne nepřekonané v bezpečnosti. Zajímalo by mě, zdali jste ho někdo zkoušel přímo na hardwaru (na železe) a zdali se někde ve východní Evropě snaží o jeho překonání.
