Proyèk mikrokernel mbukak seL4 wis nampa Penghargaan Sistem Perangkat Lunak ACM, penghargaan taunan sing diwenehake dening Association for Computing Machinery (ACM), organisasi internasional sing paling dihormati ing bidang sistem komputer. Penghargaan kasebut diwenehake kanggo prestasi ing bidang bukti operasi matematika, sing nuduhake kepatuhan lengkap karo spesifikasi sing diwenehake ing basa resmi lan ngakoni kesiapan kanggo digunakake ing aplikasi kritis misi. Proyèk seL4 wis nuduhake yen ora mung bisa kanthi resmi verifikasi linuwih lan keamanan kanggo proyek ing tingkat sistem operasi industri, nanging uga kanggo entuk iki tanpa ngorbanake kinerja lan versatility.
Penghargaan Sistem Perangkat Lunak ACM disedhiyakake saben taun kanggo ngenali pangembangan sistem piranti lunak sing duwe pengaruh sing jelas ing industri, ngenalake konsep anyar utawa mbukak aplikasi komersial anyar. Jumlah penghargaan yaiku 35 ewu dolar AS. Ing taun-taun kepungkur, penghargaan ACM diwenehake marang proyek GCC lan LLVM, lan pendiri Richard Stallman lan Chris Latner. Proyek lan teknologi liyane sing wis diakoni kalebu UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebook, Berkeley DB, lan Eclipse.
Arsitèktur microkernel seL4 misuwur kanggo mbusak bagean kanggo ngatur sumber daya kernel ing ruang pangguna lan kanggo nggunakake cara kontrol akses sing padha kanggo sumber daya kaya kanggo sumber daya pangguna. Mikrokernel ora nyedhiyakake abstraksi tingkat dhuwur sing metu saka kothak kanggo ngatur file, proses, sambungan jaringan, lan liya-liyane, nanging mung nyedhiyakake mekanisme minimal kanggo ngontrol akses menyang ruang alamat fisik, interupsi, lan sumber daya prosesor. Abstraksi lan driver tingkat dhuwur kanggo sesambungan karo hardware diimplementasikake kanthi kapisah ing ndhuwur microkernel ing wangun tugas tingkat pangguna. Akses tugas kasebut menyang sumber daya sing kasedhiya kanggo microkernel diatur liwat definisi aturan.
Source: opennet.ru