KataOS, oo ah nidaamka qalliinka ee ku jihaysan amniga qalabka.
Warka ayaa lagu sheegay in Google ayaa ku dhawaaqday sii deynta code isha ee horumarka la xiriira mashruuca Kata OS, kaas oo hadafkiisu yahay inuu abuuro nidaam hawleed sugan oo qalabaysan.
Nidaamka waxay siisaa taageero goobo ku salaysan RISC-V iyo ARM64 naqshadaha. Si loo ekaysiiyo hawlgalka seL4 iyo deegaanka KataOS ee qalabka inta lagu jiro horumarka, qaabka Renode ayaa la isticmaalaa.
Dhaqangelinta tixraac ahaan, barnaamijka Sparrow software iyo kakanaanta hardware ayaa la soo jeediyay, kaas oo isku daraya KataOS oo leh jajabyo sugan oo ku salaysan barnaamijka OpenTitan. Xalka la soo jeediyay hWaa suurtagal in la isku daro kernel si macquul ah loo xaqiijiyay nidaamka qalliinka oo leh qaybo qalab ah oo la dhisay Root of Trust (RoT). iyadoo la adeegsanayo madal OpenTitan iyo naqshadda RISC-V.
Marka lagu daro koodhka KataOS, waxaa la qorsheeyay in la furo dhammaan qaybaha kale ee Sparrow, oo ay ku jiraan qaybta qalabka, mustaqbalka.
Iyada oo saldhig u ah nidaamkan cusub ee hawlgalka, waxaan u dooranay seL4 sidii mikrokernel sababtoo ah waxay hor dhigtaa amniga iyo xarunta; waxaa xisaab ahaan loo caddeeyey inay tahay mid sugan, oo leh dammaanad sir ah, daacadnimo, iyo helitaan. Iyada oo loo marayo qaabka seL4 CAmkES, waxaan sidoo kale ku bixin karnaa qaybo habaysan oo la qiyaasi karo oo la qiyaasi karo. KataOS waxay bixisaa madal sugan oo la xaqiijin karo oo ilaalisa sirta isticmaalaha sababtoo ah macquul maahan in codsiyada ay ku xad gudbaan ilaalinta amniga qalabka kernel-ka iyo qaybaha nidaamka sugan ee la xaqiijin karo.
Madal waxa la soo saaray iyadoo maskaxda lagu hayo gaar ahaan loogu talagalay in lagu socodsiiyo sirta iyo codsiyada mashiinka barashada oo u baahan ilaalin gaar ah iyo dammaanad qaadka in aanay jirin wax guul darro ah. Nidaamyada maamula sawirada dadka iyo codadka la duubay ayaa la bixiyaa tusaale ahaan codsiyadaas. Isticmaalka hubinta isku halaynta ee KataOS waxay hubisaa in haddii ay dhacdo fashil ku yimaada qayb ka mid ah nidaamka, fashilkaani kuma faafo nidaamka intiisa kale iyo gaar ahaan kernel iyo qaybaha muhiimka ah.
Dhismaha seL4 waxay ku fiican tahay qaybaha dhaqaaqa si loo maareeyo ilaha kernelka gudaha booska isticmaalaha oo isticmaal isla kontaroolada gelitaanka ee ilahaas sida ilaha isticmaalaha.
Microkernel ma bixinayo soo-saarid heer sare ah ka baxsan sanduuqa si loo maareeyo faylalka, hababka, isku xirka shabakada, iyo wixii la mid ah, laakiin kaliya waxay bixisaa habab yar oo lagu xakameynayo gelitaanka booska ciwaanka jirka, carqaladaynta, iyo ilaha processor-ka. Aabstractions heer sare ah iyo darawallada si ay ula falgalaan qalabka waxaa si gooni gooni ah loo hirgeliyaa korka microkernel-ka qaab hawlaha heerka-isticmaalka. Helitaanka hawlahan oo kale ee kheyraadka ay heli karaan microkernel-ka waxaa lagu habeeyaa qeexida xeerarka.
Ilaalinta dheeraadka ah, dhammaan qaybaha marka laga reebo microkernel-ka ayaa markii hore lagu sameeyay miridhku iyadoo la isticmaalayo farsamooyin barnaamijeed badbaado leh oo yareeya khaladaadka marka lagu shaqaynayo xusuusta, taasoo horseedaysa dhibaatooyin ay ka mid yihiin gelitaanka aagga xusuusta ka dib marka la sii daayo, leexinta tilmaameyaal aan waxba lahayn, iyo qulqulka qulqulka.
Raadiyaha arjiga ee deegaanka seL4, adeegyada nidaamka, qaabka horumarinta arjiga, API si loo galo wicitaannada nidaamka, maamulaha habraaca, habka qoondaynta xusuusta firfircoon, iwm. waxay ku qoran yihiin miridhku. Kulanka la xaqiijiyay, agabka CAmkES ee uu sameeyay mashruuca seL4 ayaa la isticmaalaa. Qaybaha CAmkES sidoo kale waxaa lagu abuuri karaa Rust.
Badbaadada xusuusta waxaa lagu bixiyaa miridhku Marka la ururiyo wakhtiga iyadoo la hubinayo tixraacyada, la socodka lahaanshaha shayga, iyo cimriga shayga (baaxadda), iyo sidoo kale iyada oo la qiimeeyo saxnaanta gelitaanka xusuusta inta lagu jiro fulinta koodka. Daxalku sidoo kale wuxuu bixiyaa ilaalinta qulqulka isugeynta, waxay u baahan tahay doorsoomayaal in la bilaabo ka hor inta aan la isticmaalin, waxay xoojisaa fikradda doorsoomayaal aan beddeli karin iyo tixraacyo si caadi ah, oo waxay siisaa qorid adag oo taagan si loo yareeyo khaladaadka macquulka ah.
Ugu dambeyntii kuwa xiiseynaya, waa inaad ogaataa in qaybaha nidaamka KataOS ay ku qoran yihiin Rust oo ay ku shaqeeyaan seL4 microkernel, taas oo caddaynta xisaabeed ee lagu kalsoonaan karo ee nidaamyada RISC-V ayaa la bixiyaa, taas oo muujinaysa in koodka si buuxda u waafaqsan yahay sifooyinka. ku qeexan luqadda rasmiga ah.
Xeerka mashruuca wuxuu ku furan yahay shatiga Apache 2.0, waxaad kala tashan kartaa faahfaahin dheeraad ah oo ku saabsan xiriirka soo socda.