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 tidak berhubungan dengan Linux.
Namun, SeL4 dapat digunakan, secara teori, sebagai landasan untuk Linux Foundation dan sistem operasi lain yang terkait Unix. Sebagai contoh, ini sempat dipertimbangkan untuk digunakan dalam sistem operasi GNU HURD milik Richard M. Stallman. Sekarang, dengan edisi terbaru dan dukungan yang lebih luas, seL4 mungkin lebih luas dikerahkan.
Kernel ini adalah anggota dari keluarga mikrokernel L4. Linux SeL4 Foundation adalah benar matematis terbukti, bug-sistem operasi bebas kernel. Ini dirancang untuk menegakkan sifat keamanan yang kuat. Klaim data61 itu sistem operasi pertama di dunia dengan bukti tersebut. Mereka mengatakan, satu-satunya sistem operasi yang terbukti menampilkan halus, berbasis kemampuan keamanan dan kinerja tinggi. Dalam dunia nyata, mendukung campuran kritis sistem real-time.
Linux Foundation sebagai Tuan Rumah Sel4
Linux Foundation bagian dalam hal ini adalah untuk menjadi tuan rumah yang baru terbentuk seL4 Foundation. Itu “akan mendukung seL4 Foundation dan masyarakat dengan menyediakan keahlian dan layanan untuk meningkatkan keterlibatan masyarakat, kontributor dan pengadopsi, membantu untuk mengambil ekosistem OS ke tingkat berikutnya, ” kata Michael Dolan, Linux Foundation’s VP program strategis. Anggota pendiri meliputi Data61, UNSW Sydney, HENSOLDT Cyber GmbH, Ghost Lokomootion, COG Systems, dan DornerWorks.
SeL4 akan digunakan secara real-time sistem komputasi tertanam, yang membutuhkan keamanan terbaik. Ini diharapkan dapat digunakan dalam bidang seperti avionik, kendaraan otonom, perangkat medis, infrastruktur kritis, dan pertahanan.
” Linux SeL4 Foundation telah menetapkan standar baru untuk jaminan tinggi untuk solusi tertanam pada perangkat yang terhubung. Hal ini memungkinkan kami untuk memberikan solusi komersial yang memenuhi tuntutan ketat yang terkait dengan verifikasi formal untuk memberikan pendekatan bersertifikat yang memenuhi standar tertinggi untuk keselamatan dan keamanan di pasar saat ini. ” Dalam sebuah pernyataan, Carl L. Nerup, COG Systems ‘ COG sistem ‘ CEO.
