Manufar ita ce ƙirƙirar amintattun tsare-tsare don kayan aikin da aka haɗa ko na'urori na gefe
Google kwanan nan ya fito ta hanyar rubutun blog zuwa KataOS, tsarin aiki wanda aka mayar da hankali kan na'urorin da aka saka gudu inji koyo aikin nauyi. An tsara KataOS don zama mayar da hankali kan tsaro, tunda yana amfani da yaren shirye-shiryen Rust kuma yana dogara ne akan seL4 microkernel azaman tushe.
An ƙirƙira KataOS don amfani tare da karuwar adadin na'urorin da ke da alaƙa, tare da mai da hankali musamman kan kayan aikin da aka saka waɗanda ke gudanar da aikace-aikacen koyon injin. Ganin karuwar mayar da hankali ga masana'antu na RISC-V, wannan ƙirar kayan sarrafawa shine babban fifikon tallafi ga KataOS.
Game da KataOS
Google ya gabatar da tsarin sa na KataOS, wanda har yanzu yana ci gaba, wanda manufarsa ita ce samar da tsarin tsaro don na'urori masu ciki.
Ya ambaci cewa an haife shi ne daga wani kallo, saboda buƙatar yin aiki a kan aikin irin wannan, «Ana ƙara tallace-tallacen na'urori masu alaƙa waɗanda ke tattarawa da sarrafa bayanan muhalli«. Duk da haka, A cewar Google, waɗannan na'urori sun fi dacewa da matsalolin tsaro. Kamfanin ya nuna, alal misali, bayanan da waɗannan na'urori ke tattarawa na iya zama masu rauni ga masu kai hari daga waje. Wannan yana nufin cewa ƙwayoyin cuta na iya satar hotuna, rikodin sauti, da sauran bayanai.
Don fara haɗin gwiwa tare da wasu, mun buɗe abubuwan haɗin gwiwa da yawa don amintaccen tsarin aikin mu, wanda ake kira KataOS, akan GitHub, da haɗin gwiwa tare da Antmicro akan na'urar kwaikwayo ta Renode da tsarin da ke da alaƙa. A matsayin tushen wannan sabon tsarin aiki, mun zaɓi seL4 a matsayin microkernel saboda yana ba da fifiko ga tsaro; an tabbatar da shi ta hanyar ilimin lissafi yana da aminci, tare da garantin sirri, mutunci, da samuwa.
Ga Google, mafita mai sauƙi don magance wannan zai zama ingantaccen tsarin tsaro don kayan aikin kan jirgin. Domin ? Ana kula da tsarin tsaro sau da yawa azaman fasalin software wanda za'a iya ƙarawa zuwa tsarin da ake dasu ko kuma a warware shi tare da ƙarin yanki na kayan aikin ASIC, wanda yawanci bai isa ba. A cikin wannan mahallin ne aka haifi KataOS.
Google kuma yana aiki tare da Antmicro. Asociation zai yi koyi da gyara GDB akan na'urorin da aka yi niyya ta amfani da Renode. A ciki, KataOS yana da ikon yin lodi da sarrafa shirye-shirye na ɓangare na uku. Ko da shirye-shiryen da aka ƙirƙira a waje da tsarin CAmkES na iya gudana a can. Abubuwan da ake buƙata don gudanar da waɗannan aikace-aikacen ba su wanzu a tushen Github. Koyaya, Google ya yi niyyar samar da waɗannan ayyukan nan ba da jimawa ba.
Godiya ga tsarin seL4 CAmkES, za mu iya samar da ƙayyadaddun ma'anoni na tsarin da za a iya kwatantawa. KataOS yana ba da ingantaccen ingantaccen dandamali wanda ke kare sirrin mai amfani saboda a zahiri ba zai yuwu ba aikace-aikace su keta kariyar kayan aikin kwaya kuma abubuwan haɗin tsarin suna da tabbas amintacce. Hakanan ana aiwatar da KataOS gaba ɗaya a cikin Rust, wanda ke ba da ingantaccen wurin farawa don amincin software ta hanyar kawar da duka nau'ikan kwari, kamar kurakurai guda ɗaya da cikar buffer.
Google kuma ya ƙirƙiri aiwatar da tunani don KataOS mai suna Sparrow. Dalilin Sparrow shine cikakken fallasa tsarin muhalli mai aminci.
Yi amfani da KataOS tare da ingantaccen dandamali na kayan masarufi, kamar yadda sparrow ya ƙunshi tabbataccen tushen aminci da aka gina tare da OpenTitan akan gine-ginen RISC-V. Wannan yana ƙara zuwa ainihin tsarin aiki mai tsaro. Koyaya, don sakin farko na KataOS, Google yana da niyyar amfani da kwaikwayon QEMU. Za ku yi amfani da wannan kwaikwayo don gudanar da mafi daidaitaccen tsarin 64-bit ARM.
Finalmente Ga masu sha'awar, ya kamata su san hakan aikin yana cikin gida GitHub kuma a halin yanzu ma'ajiya ya ƙunshi yawancin manyan sassa na KataOS, gami da tsarin da muke amfani da su don Tsatsa (kamar sel4-sys, wanda ke ba da tsarin kiran tsarin seL4 APIs), madadin uwar garken tushen da aka rubuta a cikin Rust (an buƙata don sarrafa ƙwaƙwalwar ƙwaƙwalwa mai faɗin tsarin), da gyare-gyaren kernel zuwa seL4 wanda zai iya dawo da ƙwaƙwalwar ajiyar da tushen sabar ke amfani dashi.
Kuna iya ziyartar wurin ajiyar aikin a mahada mai zuwa.