Ua loaʻa i ka papahana seL4 open microkernel ka ACM Software System Award, he makana makahiki i hāʻawi ʻia e ka Association for Computing Machinery (ACM), ka hui honua i mahalo nui ʻia ma ke kahua o nā ʻōnaehana kamepiula. Hāʻawi ʻia ka makana no nā hoʻokō ma ke kahua o ka hōʻoia makemakika o ka hana, e hōʻike ana i ka hoʻokō piha ʻana i nā kikoʻī i hāʻawi ʻia ma ka ʻōlelo maʻamau a ʻike i ka mākaukau no ka hoʻohana ʻana i nā noi koʻikoʻi. Ua hōʻike ka papahana seL4ʻaʻole hiki ke hōʻoia piha i ka hilinaʻi a me ka palekana no nā papahana ma ke kiʻekiʻe o nā'ōnaehana hanaʻoihana, akā e hoʻokō i kēia me kaʻole e kaumaha i ka hana a me ka versatility.
Hāʻawi ʻia ka ACM Software System Award i kēlā me kēia makahiki no ka ʻike ʻana i ka hoʻomohala ʻana o nā ʻōnaehana polokalamu i loaʻa ka hopena wehewehe i ka ʻoihana, hoʻolauna i nā manaʻo hou a i ʻole ka wehe ʻana i nā noi pāʻoihana hou. ʻO ka nui o ka makana he 35 tausani US kālā. I nā makahiki i hala, ua hāʻawi ʻia nā makana ACM i nā papahana GCC a me LLVM, a me kā lākou mea hoʻokumu ʻo Richard Stallman lāua ʻo Chris Latner. ʻO nā papahana a me nā ʻenehana ʻē aʻe i hāʻawi ʻia ʻo UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB and eclipse .
ʻO ka hoʻolālā o ka microkernel seL4 he mea kaulana ia no ka wehe ʻana i nā ʻāpana no ka mālama ʻana i nā kumuwaiwai kernel i loko o nā wahi hoʻohana a no ka hoʻohana ʻana i nā ala like o ka mana e hiki ai i nā kumuwaiwai e like me nā kumuwaiwai mea hoʻohana. ʻAʻole hāʻawi ka microkernel i nā abstract kiʻekiʻe i waho o ka pahu no ka mālama ʻana i nā faila, nā kaʻina hana, nā pilina pūnaewele, a me nā mea like, akā hāʻawi ia i nā mīkini liʻiliʻi wale nō no ka hoʻokele ʻana i ke komo ʻana i ka wahi kikoʻī kikoʻī, nā interrupts, a me nā kumuwaiwai hana. Hoʻokomo ʻokoʻa ʻia nā abstractions kiʻekiʻe a me nā mea hoʻokele no ka launa pū ʻana me nā lako lako ma luna o ka microkernel ma ke ʻano o nā hana pae hoʻohana. Hoʻonohonoho ʻia ka loaʻa ʻana o ia mau hana i nā kumuwaiwai i loaʻa i ka microkernel ma o ka wehewehe ʻana o nā lula.
Source: opennet.ru