Kua panuitia e Google te kitenga o nga whanaketanga e pa ana ki te kaupapa KataOS, e whai ana ki te hanga i tetahi punaha whakahaere haumaru mo nga taputapu whakauru. Ko nga waahanga punaha KataOS kua tuhia ki roto i te Rust ka rere ki runga ake o te microkernel seL4, kua tukuna he tohu pangarau mo te pono i runga i nga punaha RISC-V, e tohu ana kei te tino tutuki te waehere ki nga whakaritenga kua tohua ki te reo okawa. Kei te tuwhera te waehere kaupapa i raro i te raihana Apache 2.0.
Ka whakaratohia e te punaha te tautoko mo nga papahanga i runga i nga hoahoanga RISC-V me ARM64. Hei whakataurite i te mahi a seL4 me te taiao KataOS i runga ake o te taputapu, ka whakamahia te anga Renode i te wa o te whanaketanga. Hei whakatinanatanga tohutoro, ka whakaarohia te raupaparorohiko me te matatini taputapu Sparrow, me te whakakotahi i a KataOS me nga maramara haumaru i runga i te papaaho OpenTitan. Ko te otinga e whakaarohia ana ka taea e koe te whakakotahi i te kakano o te punaha whakahaere me nga waahanga taputapu pono (RoT, Root of Trust), i hangaia ma te whakamahi i te papaaho OpenTitan me te hoahoanga RISC-V. I tua atu i te waehere KataOS, kua whakamaheretia kia whakatuwherahia etahi atu waahanga Sparrow katoa, tae atu ki te waahanga taputapu, a muri ake nei.
Kei te whakawhanakehia te papaaho ma te titiro ki te tono i roto i nga maramara motuhake i hangaia hei whakahaere i nga tono mo te ako miihini me te tukatuka korero matatapu, me whai taumata motuhake mo te whakamarumaru me te whakapumau i te kore o nga rahunga. Ko nga tauira o enei tono ko nga punaha e raweke ana i nga whakaahua o nga tangata me nga rekoata reo. Ma te whakamahi a KataOS i te manatoko pono, ki te rahua tetahi waahanga o te punaha, ka kore e horapa atu te rahunga ki te toenga o te punaha, ina koa, ki te kakano me nga waahanga nui.
Ko te hoahoanga seL4 he mea rongonui mo te neke i nga waahanga mo te whakahaere rauemi kernel ki te waahi kaiwhakamahi me te whakamahi i nga taputapu mana uru mo nga rauemi penei i nga rauemi kaiwhakamahi. Karekau te microkernel e whakarato i nga tangohanga taumata-tiketike kua rite mo te whakahaere i nga konae, i nga tukanga, i nga hononga whatunga, me era atu mea; engari, he iti noa nga tikanga mo te whakahaere urunga ki te waahi nohonga tinana, nga aukati, me nga rauemi tukatuka. Ko nga tangohanga taumata-tiketike me nga taraiwa mo te taunekeneke me nga taputapu ka whakatinanahia ki runga ake o te microkernel i roto i te ahua o nga mahi taumata-kaiwhakamahi. Ko te urunga o aua mahi ki nga rauemi e waatea ana ki te microkernel ka whakaritea ma te whakamaramatanga o nga ture.
Mo etahi atu whakamarumarutanga, ko nga waahanga katoa engari ko te microkernel ka hangaia i roto i te Rust ma te whakamahi i nga tikanga whakamaarama haumaru hei whakaiti i nga hapa o te mahara ka puta he raru penei i te uru mahara i muri i te wateatanga, nga tohu tohu kore, me te nui o te aukati. He kaikawe tono i roto i te taiao seL4, ratonga punaha, he anga mo te whanaketanga tono, he API mo te uru atu ki nga waea punaha, he kaiwhakahaere tukanga, he tikanga mo te tohatoha mahara hihiri, me etahi atu i tuhia ki Rust. Ko te huihuinga manatoko e whakamahi ana i te kete taputapu CAmkES, i whakawhanakehia e te kaupapa seL4. Ko nga waahanga mo CAmkES ka taea hoki te hanga i roto i te Rust.
Ka whakamanahia e te waikura te haumaru maumahara i te wa whakahiato ma te arowhai tohutoro, te mana taonga me te tirotiro mo te oranga o te ahanoa (nga waahanga), me te arotake i te tika o nga urunga mahara i te wa whakahaere. Ko te waikura hoki he whakamarumaru ki te waipuke o te integer, me arawhiti nga uara taurangi i mua i te whakamahi, ka whakamahi taunoa te kaupapa o nga tohutoro kore huri me nga taurangi, me te tuku patopato pateko kaha hei whakaiti i nga hapa arorau.
Source: opennet.ru