Kua whakawhiwhia e te kaupapa seL4 open microkernel te Tohu Pūnaha Pūmanawa ACM, he tohu a-tau i whakawhiwhia e te Association for Computing Machinery (ACM), te whakahaerenga o te ao e tino whakautehia ana i roto i te waahi o nga punaha rorohiko. Ka whakawhiwhia te tohu mo nga whakatutukitanga i roto i te tohu tohu pangarau o te mahi, e tohu ana i te tino tautukunga ki nga whakaritenga kua tukuna i roto i te reo okawa me te mohio ki te reri mo te whakamahi i roto i nga tono whakahirahira. Kua whakaatuhia e te kaupapa seL4 ehara i te mea ka taea anake te whakamana i te pono me te haumarutanga mo nga kaupapa i te taumata o nga punaha whakahaere ahumahi, engari ki te whakatutuki i tenei me te kore e whakaheke i te mahi me te whai kiko.
Ko te Tohu Pūnaha Pūmanawa ACM ka tukuna ia tau ki te mohio ki te whakawhanaketanga o nga punaha rorohiko kua tino whai paanga ki te ahumahi, te whakauru i nga ariā hou, te whakatuwhera ranei i nga tono arumoni hou. Ko te nui o te tohu he 35 mano taara US. I nga tau kua pahure ake nei, kua whakawhiwhia nga tohu ACM ki nga kaupapa GCC me LLVM, me o ratou kaihanga a Richard Stallman me Chris Latner. Ko etahi atu kaupapa me nga hangarau i whakawhiwhia ano hoki ko UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB and eclipse .
Ko te hoahoanga o te microkernel seL4 he mea rongonui mo te tango i nga waahanga mo te whakahaere i nga rauemi kernel i roto i te waahi kaiwhakamahi me te whakamahi i nga tikanga mo te mana uru mo nga rauemi penei mo nga rauemi kaiwhakamahi. Kaore te microkernel e whakarato i nga tangohanga taumata teitei o waho mo te whakahaere i nga konae, nga tukanga, nga hononga whatunga, me nga mea pera, engari he iti noa nga tikanga mo te whakahaere i te uru ki te waahi wahitau tinana, nga aukati, me nga rauemi tukatuka. Ko nga tangohanga taumata-tiketike me nga taraiwa mo te taunekeneke me nga taputapu ka whakatinanahia ki runga ake o te microkernel i roto i te ahua o nga mahi taumata-kaiwhakamahi. Ko te urunga o aua mahi ki nga rauemi e waatea ana ki te microkernel ka whakaritea ma te whakamaramatanga o nga ture.
Source: opennet.ru