Ọrụ seL4 mepere microkernel enwetala ACM Software System Award, onyinye kwa afọ nke Association for Computing Machinery (ACM) na-enye, otu mba ụwa kacha akwanyere ugwu n'ihe gbasara sistemụ kọmputa. A na-enye ihe nrite a maka mmezu n'ihe gbasara mgbakọ na mwepụ na-arụ ọrụ, nke na-egosi nrubeisi zuru oke na nkọwapụta enyere n'asụsụ nkịtị ma na-amata njikere maka iji na ngwa ozi dị mkpa. Ihe oru ngo seL4 egosila na ọ bụghị naanị na ọ ga-ekwe omume iji nyochaa n'ụzọ zuru ezu na ntụkwasị obi na nchekwa maka oru ngo na ọkwa nke sistemu arụ ọrụ mmepụta ihe, kamakwa iji nweta nke a na-enweghị ịchụ àjà na ịrụ ọrụ.
A na-enye onyinye nturu ugo ACM Software System kwa afọ iji mata mmepe nke sistemụ ngwanrọ nwere mmetụta na-akọwapụta na ụlọ ọrụ ahụ, iwebata echiche ọhụrụ ma ọ bụ imepe ngwa azụmahịa ọhụrụ. Ọnụ ego nke onyinye a bụ puku dollar 35. N'ime afọ gara aga, enyerela onyinye ACM aka na ọrụ GCC na LLVM, yana ndị guzobere Richard Stallman na Chris Latner. Ọrụ na teknụzụ ndị ọzọ enyerekwara bụ UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB na eklips. .
Ihe owuwu nke microkernel seL4 bụ ihe ama ama maka iwepụ akụkụ maka ijikwa akụrụngwa kernel na oghere ndị ọrụ yana maka itinye otu ụzọ eji ejikwa ohere maka akụrụngwa dị ka nke akụrụngwa onye ọrụ. Microkernel anaghị enye nkọwapụta ọkwa dị elu nke igbe maka ijikwa faịlụ, usoro, njikọ netwọkụ na ihe ndị ọzọ, kama ọ na-enye naanị obere usoro maka ịchịkwa ohere ịnweta oghere adreesị anụ ahụ, nkwụsịtụ na akụrụngwa nhazi. A na-emejuputa abstractions dị elu na ndị ọkwọ ụgbọ ala maka imekọrịta ihe na ngwaike iche iche n'elu microkernel n'ụdị ọrụ ọkwa onye ọrụ. A na-ahazi ohere nke ọrụ ndị dị otú ahụ na ihe onwunwe dị na microkernel site na nkọwa nke iwu.
isi: opennet.ru