Linux kernel koji se navodno ne može hakovati

Postoji veći broj bezbjednosno baziranih Linux distribucija. Iako su te distribucije namjenski napravljene da budu bezbjedne problem je što skoro sve Linux distribucije koriste isti kernel.

Napadi na Linux sisteme su najčešće napadi na kernel što može kompromitovati i bezbjedne Linux distribucije.

Kernel je centralni dio operativnog sistema koji vrši komunikaciju sa harverom uključujući i CPU.

Istraživači, matematičari i stručnjaci iz Boing-a i Rockwell Collins-a su stvorili tim koji ima za cilj razvoj kernela koje ne može hakovati.
Kernel pod nazivom seL4 (Secure Mircrokernel Project) je open source kernel za Linux kod koga je matematički dokazano da ne postoje greške.

Trenutno se seL4 koristi za zaštitu bespilotnih letjelica, helikoptera, medicinskih uređaja i elektrana. 

Izvor:thehackernews.com