Kompania Google prezantoi kompleksin programor dhe harduerik Open Se Cura, i fokusuar n\u00eb leht\u00ebsimin e krijimit t\u00eb \u00e7ip\u00ebve t\u00eb sigurt, t\u00eb destinuar p\u00ebr zgjidhjen e problemeve q\u00eb lidhen me m\u00ebsimin machine dhe inteligjenc\u00ebn artificiale. Projekti p\u00ebrfshin sistemin operativ CantripOS dhe harduerin, i bazuar n\u00eb platform\u00ebn OpenTitan dhe b\u00ebrtham\u00ebn e procesorit mbi arkitektur\u00ebn RISC-V. Gjat\u00eb zhvillimit, Open Se Cura dhe CantripOS u zhvilluan n\u00ebn emrat Sparrow dhe KataOS, por p\u00ebr t\u00eb shmangur p\u00ebrputhjen me projekte t\u00eb tjera, produktet p\u00ebrfundimtare u rishikuan. T\u00eb dh\u00ebnat e projektit, duke p\u00ebrfshir\u00eb tekstet burimore t\u00eb sh\u00ebrbimeve sistemore dhe skemat RTL (Register Transfer Level), shp\u00ebrndahen n\u00ebn licenc\u00ebn Apache 2.0. <\/p>\n
Sistemi operativ CantripOS bazohet n\u00eb mikro-b\u00ebrtham\u00ebn seL4, mbi t\u00eb cil\u00ebn ekzekutohet nj\u00eb mjedis sistemik i shkruar n\u00eb gjuh\u00ebn Rust. N\u00eb sistemet RISC-V, mikro-b\u00ebrthama seL4 ka nj\u00eb prov\u00eb matematikore t\u00eb besueshm\u00ebris\u00eb q\u00eb d\u00ebshmon p\u00ebr p\u00ebrmbushjen e plot\u00eb t\u00eb kodit me specifikimet e caktuara n\u00eb nj\u00eb gjuh\u00eb formale. Arkitektura seL4 \u00ebsht\u00eb e njohur p\u00ebr ndarjen e pjes\u00ebve p\u00ebr menaxhimin e burimeve t\u00eb b\u00ebrtham\u00ebs n\u00eb hap\u00ebsir\u00ebn e p\u00ebrdoruesit dhe p\u00ebr aplikimin e t\u00eb nj\u00ebjtave mjete t\u00eb ndarjes s\u00eb qasjes p\u00ebr k\u00ebto burime si p\u00ebr burimet e p\u00ebrdoruesit. <\/p>\n
Mikro-b\u00ebrthama nuk ofron abstraksione t\u00eb larta t\u00eb gatshme p\u00ebr menaxhimin e skedar\u00ebve, proceseve, lidhjeve rrjet\u00ebsore, etj., p\u00ebrkundrazi, ajo ofron vet\u00ebm mekanizma minimal p\u00ebr menaxhimin e qasjes n\u00eb hap\u00ebsir\u00ebn fizike t\u00eb adresimit, nd\u00ebrprerjeve dhe burimeve t\u00eb procesorit. Abstraksionet e larta dhe drajver\u00ebt p\u00ebr nd\u00ebrveprimin me harduerin implementohen ve\u00e7mas mbi mikro-b\u00ebrtham\u00ebn n\u00eb form\u00ebn e detyrave q\u00eb ekzekutohen n\u00eb nivelin e p\u00ebrdoruesit. Qasja e k\u00ebtyre detyrave n\u00eb burimet q\u00eb ka mikro-b\u00ebrthama organizohet n\u00ebp\u00ebrmjet p\u00ebrcaktimit t\u00eb rregullave. <\/p>\n
T\u00eb gjitha komponent\u00ebt e OS-s\u00eb, p\u00ebrve\u00e7 mikrokernelit, jan\u00eb shkruar fillimisht n\u00eb gjuh\u00ebn Rust duke p\u00ebrdorur teknika t\u00eb sigurta programimi q\u00eb minimizojn\u00eb gabimet gjat\u00eb pun\u00ebs me memorjen. N\u00eb Rust, nd\u00ebr t\u00eb tjera, jan\u00eb shkruar ngarkuesi i aplikacioneve n\u00eb mjedisin seL4, sh\u00ebrbimet sistemore, korniza p\u00ebr zhvillimin e aplikacioneve, API p\u00ebr qasje n\u00eb thirjet sistemore, menaxheri i proceseve dhe mekanizmi i shp\u00ebrndarjes dinamike t\u00eb memorjes. <\/p>\n
P\u00ebr nd\u00ebrtimin e v\u00ebrtetuar p\u00ebrdoret mjeti CAmkES, i zhvilluar nga projekti seL4. P\u00ebr zhvillimin e aplikacioneve finale q\u00eb mund t\u00eb ngarkohen dinamikisht nga sh\u00ebrbimet sistemore, propozohet p\u00ebrdorimi i SDK AmbiML, dhe p\u00ebr ekzekutimin e modeleve t\u00eb m\u00ebsimit t\u00eb makinerive, mjeti IREE (Intermediate Representation Execution Environment). Komponent\u00ebt n\u00eb Rust dhe sh\u00ebrbimet sistemore jan\u00eb zhvilluar duke p\u00ebrdorur kornizat Cantrip. <\/p>\n
Fushat e aplikimit t\u00eb platform\u00ebs p\u00ebrfshijn\u00eb \u00e7ipat e specializuar q\u00eb k\u00ebrkojn\u00eb nj\u00eb nivel t\u00eb ve\u00e7ant\u00eb mbrojtjeje dhe konfirmimi t\u00eb munges\u00ebs s\u00eb defekteve. P\u00ebr shembull, platforma mund t\u00eb p\u00ebrdoret n\u00eb produkte t\u00eb m\u00ebsimit t\u00eb makinerive q\u00eb lidhen me p\u00ebrpunimin e informacionit t\u00eb ndjesh\u00ebm, si\u00e7 jan\u00eb sistemet e njohjes s\u00eb njer\u00ebzve dhe p\u00ebrpunimi i regjistrimeve t\u00eb z\u00ebrit. Kombinimi i nj\u00eb b\u00ebrtham\u00eb operativ sistem t\u00eb verifikuar logjikisht me komponent\u00ebt harduerik\u00eb t\u00eb besuesh\u00ebm (RoT, Root of Trust) garanton q\u00eb n\u00eb rast t\u00eb nj\u00eb defekti n\u00eb nj\u00eb pjes\u00eb t\u00eb sistemit, ky defekt nuk do t\u00eb p\u00ebrhapet n\u00eb pjes\u00ebn tjet\u00ebr t\u00eb sistemit, dhe ve\u00e7an\u00ebrisht n\u00eb b\u00ebrtham\u00eb dhe pjes\u00ebt kritike. <\/p>\n