Google dia nampiditra ny Open Se Cura hardware sy rafitra rindrambaiko, mikendry ny hanatsorana ny famoronana chips azo antoka natao hamahana ireo olana mifandraika amin'ny fianarana milina sy ny faharanitan-tsaina artifisialy. Ny tetikasa dia ahitana ny rafitra fiasan'ny CantripOS sy ny fitaovana miorina amin'ny sehatra OpenTitan ary ny fototry ny processeur mifototra amin'ny maritrano RISC-V. Nandritra ny fampandrosoana ny Open Se, Cura sy CantripOS dia novolavolaina tamin'ny anarana Sparrow sy KataOS, saingy mba hisorohana ny fifandonana amin'ny tetikasa hafa dia novana anarana ny vokatra farany. Ny fivoaran'ny tetikasa, anisan'izany ny kaody loharanon'ny serivisy rafitra sy ny rafitra RTL (Register Transfer Level), dia zaraina amin'ny alàlan'ny lisansa Apache 2.0.
Ny rafitra fiasan'ny CantripOS dia mifototra amin'ny microkernel seL4, eo ambonin'izany ny tontolon'ny rafitra voasoratra amin'ny fiteny Rust. Ao amin'ny rafitra RISC-V, misy porofo matematika momba ny fahamendrehana omena ho an'ny microkernel seL4, izay manondro fa ny fehezan-dalàna dia mifanaraka tanteraka amin'ny fepetra voafaritra amin'ny fiteny ofisialy. Ny maritrano seL4 dia misongadina amin'ny fifindran'ny ampahany amin'ny fitantanana ny loharanon-karena kernel ao amin'ny habaka mpampiasa sy ny fampiharana ireo fitaovana fanaraha-maso ny fidirana ho an'ny loharano toy ny ho an'ny loharanon'ny mpampiasa.
Ny microkernel dia tsy manome abstractions avo lenta efa vita ho an'ny fitantanana ny rakitra, ny fizotrany, ny fifandraisana amin'ny tambajotra, sy ny toy izany, fa tsy manome afa-tsy rafitra faran'izay kely amin'ny fanaraha-maso ny fidirana amin'ny habaka adiresy ara-batana, ny fiatoana ary ny loharanon'ny processeur. Ny abstractions avo lenta sy ny mpamily amin'ny fifandraisana amin'ny fitaovana dia ampiharina misaraka eo an-tampon'ny microkernel amin'ny endrika asa amin'ny mpampiasa. Ny fidirana amin'ny asa toy izany amin'ny loharanon'ny microkernel dia voalamina amin'ny alàlan'ny famaritana ny fitsipika.
Ny singa OS rehetra, afa-tsy ny microkernel, dia nosoratana tamin'ny Rust tany am-boalohany tamin'ny fampiasana teknika fandaharana azo antoka izay manamaivana ny lesoka rehefa miasa amin'ny fitadidiana. Anisan'ny zavatra hafa, ny loader fampiharana ao amin'ny tontolo seL4, serivisy rafitra, rafi-pampandrosoana fampiharana, API ho an'ny fidirana amin'ny antson'ny rafitra, mpitantana ny fizotrany, ary mekanika fizarana fahatsiarovana mavitrika dia voasoratra ao amin'ny Rust.
Ny fivoriambe voamarina dia mampiasa ny fitaovana CAmkES, novolavolain'ny tetikasa seL4. Mba hamoronana rindranasa farany izay azo fehezina amin'ny alàlan'ny serivisy rafitra, dia soso-kevitra ny hampiasa ny AmbiML SDK, sy ny fitaovana IREE (Intermediate Representation Execution Environment) mba hampandehanana modely fianarana milina. Ny singa harafesina sy ny serivisy rafitra dia novolavolaina tamin'ny alàlan'ny rafitra Cantrip.
Eo amin'ny sehatry ny fampiharana ny lampihazo dia voalaza ny chips manokana izay mitaky fiarovana manokana sy fanamafisana ny tsy fisian'ny tsy fahombiazana. Ohatra, ny sehatra dia azo ampiasaina amin'ny vokatra fianarana milina mifandraika amin'ny fanodinana fampahalalana tsiambaratelo, toy ny rafitra hamantarana ny olona sy fanodinana feo. Ny fampifangaroana kernel rafitra miasa voamarina ara-lojika miaraka amin'ireo singa hardware azo itokisana (Root of Trust) dia miantoka fa raha tsy mahomby ny ampahany iray amin'ny rafitra, dia tsy hiparitaka amin'ny rafitra hafa ny tsy fahombiazana ary indrindra indrindra amin'ny kernel sy ny ampahany manan-danja.
Ho fanampin'ny Google, ny fikambanana tsy mitady tombombarotra lowRISC, izay manara-maso ny fampivoarana microprocessor maimaim-poana mifototra amin'ny maritrano RISC-V, ary koa ny orinasa Antmicro sy VeriSilicon, dia nandray anjara tamin'ny famolavolana fitaovana sy singa fotodrafitrasa. Ny processeur novolavolain'ny lowRISC dia nampiasaina ho ivon'ny fananganana singa hardware azo itokisana (Root of Trust). Antmicro dia nanome ny tetikasa miaraka amin'ny Renode simulator izay mamela azy hizaha toetra ny CantripOS sy ny seL4 microkernel tsy misy fitaovana tena izy. VeriSilicon dia nizara ny traikefany eo amin'ny sehatry ny famoronana chip sy ny fampandrosoana BSP (Board Support Package).
Source: opennet.ru
