Morero o nts'etsapele seL4 microkernel e bulehileng e amohetse Khau ea ACM Software System, e fanoang selemo le selemo ke Mokhatlo oa Mechini ea Likhomphutha (ACM), mokhatlo oa machaba o nang le matla ka ho fetesisa lefapheng la litsamaiso tsa likhomphutha. Moputso o fuoa bakeng sa liphihlello tse mabapi le lipalo tsa bopaki ba ts'epahalo ea ts'ebetso, e bonts'ang tumellano e felletseng le litlhaloso tse boletsoeng ka puo ea semmuso le ho amohela ho itokisetsa ho sebelisoa lits'ebetsong tsa bohlokoahali tsa maikemisetso. Morero oa seL4 o bonts'itse hore ha ho khonehe feela ho netefatsa ts'epo le ts'ireletso ka botlalo bakeng sa meralo ea boemo ba sistimi ea ts'ebetso ea indasteri, empa hape le ho fihlela sena ntle le ho senya ts'ebetso le ho feto-fetoha ha maemo.
Moputso oa ACM Software System o hlahisoa selemo le selemo ho lemoha nts'etsopele ea litsamaiso tsa software tse bileng le phello e hlakileng indastering, ho hlahisa maikutlo a macha kapa ho bula libaka tse ncha tsa ts'ebeliso ea khoebo. Chelete ea moputso ke lidolara tse likete tse 35 tsa US. Lilemong tse fetileng, likhau tsa ACM li ile tsa abeloa merero ea GCC le LLVM, le bathehi ba eona Richard Stallman le Chris Latner. Khau e boetse e amohetse merero le mahlale a joalo ka UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB le Eclipse. .
Moralo oa seL4 oa microkernel o tsebahala ka ho tsamaisa likarolo tsa ho tsamaisa lisebelisoa tsa kernel sebakeng sa mosebelisi le ho sebelisa lisebelisoa tse tšoanang tsa taolo ea phihlello bakeng sa lisebelisoa tse joalo ka lisebelisoa tsa basebelisi. Microkernel ha e fane ka likheo tsa boemo bo holimo tse lokiselitsoeng ho laola lifaele, lits'ebetso, likhokahano tsa marang-rang, joalo-joalo; ho fapana le moo, e fana ka mekhoa e fokolang feela ea ho laola phihlello ea sebaka sa aterese ea 'mele, litšitiso le lisebelisoa tsa processor. Lits'oants'o tsa boemo bo holimo le bakhanni ba ho sebelisana le hardware li kengoa tšebetsong ka thoko holim'a microkernel ka mokhoa oa mesebetsi ea boemo ba basebelisi. Ho fihlella ha mesebetsi e joalo ho lisebelisoa tse fumanehang ho microkernel ho hlophisitsoe ka tlhaloso ea melao.
Source: opennet.ru