Sel4

Ingin sistem operasi kernel yang benar-benar aman? Linux Foundation bermitra dengan agensi ilmu pengetahuan Nasional Australia, CSIRO, untuk menggelar mikrokernel seL4. Hal pertama, Yayasan Linux bekerja dengan Data61–lengan spesialis digital untuk badan ilmu pengetahuan Nasional Australia, Commonwealth Scientific and Industrial Research Organization (CSIRO), untuk mendorong maju sistem operasi keamanan baru pertama kernel seL4. Tapi seL4…