Pulojekiti ya seL4 open microkernel yalandira Mphotho ya ACM Software System, mphotho yapachaka yoperekedwa ndi Association for Computing Machinery (ACM), bungwe lolemekezeka kwambiri padziko lonse lapansi pankhani yamakompyuta. Mphothoyi imaperekedwa chifukwa cha zomwe zachitika pazantchito zotsimikizira masamu, zomwe zikuwonetsa kutsata kwathunthu zomwe zaperekedwa m'chinenero chovomerezeka ndikuzindikira kukonzekera kugwiritsidwa ntchito pamitu yofunika kwambiri. Pulojekiti ya seL4 yasonyeza kuti sizingatheke kutsimikizira kwathunthu kudalirika ndi chitetezo cha mapulojekiti pamlingo wa machitidwe opangira mafakitale, komanso kukwaniritsa izi popanda kusiya ntchito ndi kusinthasintha.
Mphotho ya ACM Software System imaperekedwa pachaka kuti izindikire chitukuko cha mapulogalamu omwe akhudza kwambiri makampani, kuyambitsa malingaliro atsopano kapena kutsegulira ntchito zatsopano zamalonda. Kuchuluka kwa mphothoyo ndi 35 madola zikwi za US. M'zaka zapitazi, mphotho za ACM zaperekedwa ku ntchito za GCC ndi LLVM, ndi omwe adayambitsa Richard Stallman ndi Chris Latner. Ntchito ndi matekinoloje ena omwe adaperekedwanso anali UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB ndi kadamsana. .
Kapangidwe ka microkernel seL4 ndizodziwikiratu pakuchotsedwa kwa magawo oyang'anira kernel m'malo ogwiritsira ntchito komanso kugwiritsa ntchito njira zomwezo zowongolera zinthu monga za ogwiritsa ntchito. Ma microkernel samapereka zotsalira zamtundu wapamwamba zowongolera mafayilo, njira, kulumikizana ndi maukonde, ndi zina zotero, m'malo mwake zimapereka njira zochepetsera zowongolera mwayi wofikira malo adilesi, zosokoneza, ndi purosesa. Zolemba zapamwamba kwambiri ndi madalaivala olumikizirana ndi ma Hardware amayikidwa padera pamwamba pa ma microkernel mu mawonekedwe a ntchito zogwiritsa ntchito. Kufikira kwa ntchito zoterezi kuzinthu zomwe zimapezeka ku microkernel zimakonzedwa kudzera mu ndondomeko ya malamulo.
Source: opennet.ru