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 na železe a zdali se někde ve východní Evropě snaží o jeho překonání.
seL4 nejbezpečnější mikrojádro dneška?
Pre pridávanie komentárov sa musíte prihlásiť.
SeL4? Musel som si v AI vyhľadať čo to vlastne je. Aspoň som sa dozvedel niečo nové :). Zdá sa to byť také značne vylepšené RTOS s výborným základným dizajnom. Veľká nevýhoda seL4 je to, že sa v nej ťažko / zložito programujú v nej aplikácie v porovnaní s klasickými RTOS.