Kompania Google shpalli hapjen e punimeve lidhur me projektin KataOS, i cili synon t\u00eb krijoj\u00eb nj\u00eb sistem operativ t\u00eb sigurt p\u00ebr pajisje t\u00eb integruara. Komponent\u00ebt sistemor\u00eb t\u00eb KataOS jan\u00eb shkruar n\u00eb gjuh\u00ebn Rust dhe funksionojn\u00eb mbi mikro-b\u00ebrtham\u00ebn seL4, p\u00ebr t\u00eb cil\u00ebn \u00ebsht\u00eb ofruar nj\u00eb prov\u00eb matematike e besueshm\u00ebris\u00eb n\u00eb sistemet RISC-V, q\u00eb d\u00ebshmon p\u00ebr p\u00ebrputhshm\u00ebrin\u00eb e plot\u00eb t\u00eb kodit me specifikimet e caktuara n\u00eb nj\u00eb gjuh\u00eb formale. Kodi i projektit \u00ebsht\u00eb i hapur n\u00ebn licenc\u00ebn Apache 2.0. <\/p>\n
Sistemi siguron mb\u00ebshtetje p\u00ebr platformat e bazuara n\u00eb arkitekturat RISC-V dhe ARM64. P\u00ebr t\u00eb simuluar funksionimin e seL4 dhe mjedisit KataOS mbi pajisje gjat\u00eb zhvillimit, p\u00ebrdoret framework-u Renode. Si implementim referent \u00ebsht\u00eb propozuar kompleksi software-harduer Sparrow, i cili kombinon KataOS me \u00e7ipa t\u00eb sigurt t\u00eb bazuar n\u00eb platform\u00ebn OpenTitan. Zgjidhja e propozuar lejon kombinimin e nj\u00eb b\u00ebrthame operativ sistem t\u00eb verifikuar logjikisht me komponent\u00eb harduerik besuesh\u00ebm (RoT, Root of Trust), t\u00eb nd\u00ebrtuar duke p\u00ebrdorur platform\u00ebn OpenTitan dhe arkitektur\u00ebn RISC-V. P\u00ebrve\u00e7 kodit t\u00eb KataOS, planifikohet q\u00eb n\u00eb t\u00eb ardhmen t\u00eb hapen edhe t\u00eb gjith\u00eb komponent\u00ebt e tjer\u00eb t\u00eb Sparrow, p\u00ebrfshir\u00eb p\u00ebrb\u00ebr\u00ebsin harduerik. <\/p>\n
Platforma po zhvillohet duke u bazuar n\u00eb aplikimet p\u00ebr \u00e7ipa t\u00eb specializuar, t\u00eb dizajnuar p\u00ebr t\u00eb ekzekutuar aplikacione p\u00ebr m\u00ebsimin e makinave dhe trajtimin e informacionit konfidencial, q\u00eb k\u00ebrkojn\u00eb nj\u00eb nivel t\u00eb ve\u00e7ant\u00eb mbrojtjeje dhe konfirmimi t\u00eb munges\u00ebs s\u00eb defekteve. Si shembuj t\u00eb aplikacioneve t\u00eb tilla p\u00ebrmenden sistemet q\u00eb manipulojn\u00eb imazhet e njer\u00ebzve dhe regjistrimet e z\u00ebrit. P\u00ebrdorimi i verifikimit t\u00eb besueshm\u00ebris\u00eb n\u00eb KataOS siguron q\u00eb n\u00eb rastin e 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\u00ebn dhe pjes\u00ebt kritike. <\/p>\n
Arkitektura seL4 ve\u00e7ohet p\u00ebr zhvendosjen 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\u00ebjtat mjete p\u00ebr ndarjen e aksesit, si p\u00ebr burimet e p\u00ebrdoruesve. Mikro-b\u00ebrthama nuk ofron abastraksione t\u00eb larta p\u00ebr menaxhimin e skedar\u00ebve, proceseve, lidhjeve rrjetore etj., por ofron vet\u00ebm mekanizmat minimal\u00eb p\u00ebr menaxhimin e aksesit n\u00eb hap\u00ebsir\u00ebn fizike adresimit, nd\u00ebrprerjet dhe burimet e procesorit. Abstraksionet dhe drejtuesit e nivelit t\u00eb lart\u00eb p\u00ebr nd\u00ebrveprimin me pajisjet krijohen ve\u00e7mas mbi mikro-b\u00ebrtham\u00ebn n\u00eb form\u00ebn e detyrave q\u00eb ekzekutohen n\u00eb nivelin e p\u00ebrdoruesit. Aksesi i k\u00ebtyre detyrave n\u00eb burimet q\u00eb mikro-b\u00ebrthama ka organizohet p\u00ebrmes p\u00ebrcaktimit t\u00eb rregullave. <\/p>\n
P\u00ebr mbrojtje shtes\u00eb, t\u00eb gjith\u00eb komponent\u00ebt, p\u00ebrve\u00e7 mikro-b\u00ebrtham\u00ebs, zhvillohen fillimisht n\u00eb gjuh\u00ebn Rust duke p\u00ebrdorur teknikat e sigurta t\u00eb programimit, q\u00eb minimizojn\u00eb gabimet gjat\u00eb pun\u00ebs me kujtes\u00ebn, t\u00eb cilat \u00e7ojn\u00eb n\u00eb probleme si aksesimi i hap\u00ebsir\u00ebs s\u00eb kujtes\u00ebs pas lirimit t\u00eb saj, dereferencimi i treguesve null dhe dalja jasht\u00eb kufijve t\u00eb tampon\u00ebve. Po ashtu, jan\u00eb shkruar n\u00eb Rust ngarkuesi i aplikacioneve n\u00eb ambientin seL4, sh\u00ebrbimet sistemore, framework-u p\u00ebr zhvillimin e aplikacioneve, API p\u00ebr aksesin n\u00eb thirrjet sistemore, menaxheri i proceseve, mekanizmi i shp\u00ebrndarjes dinamike t\u00eb kujtes\u00ebs, etj. P\u00ebr nd\u00ebrtimin e verifikuar p\u00ebrdoret mjetet CAmkES, t\u00eb zhvilluara nga projekti seL4. Komponent\u00ebt p\u00ebr CAmkES gjithashtu mund t\u00eb krijohen n\u00eb gjuh\u00ebn Rust. <\/p>\n