RISC-V Foundation mo te manatoko i te mahi o te microkernel i runga i nga punaha me te hoahoanga huinga tohutohu RISC-V. Ka heke iho te manatoko ki te pono o te mahi seL4, e tohu ana i te tino tutukitanga ki nga whakaritenga kua tohua i roto i te reo okawa. He tohu pono seL4 i roto i nga punaha miihana i runga i nga punaha RISC-V RV64 e hiahia ana kia piki ake te taumata pono me te whakapumau i te kore o nga rahunga. Ka taea e nga kaiwhakawhanake rorohiko e rere ana i runga ake o te kernel seL4 te tino maia mena he rahua tetahi waahanga o te punaha, kaore tenei rahunga e horapa ki te toenga o te punaha, ina koa, ki ona waahanga whakahirahira.
Ko te microkernel seL4 i te tuatahi i manatokohia mo nga tukatuka ARM 32-bit, a muri ake mo nga tukatuka 64-bit x86. Kei te tohuhia ko te huinga o te hanganga taputapu RISC-V tuwhera me te tuwhera seL4 microkernel ka tutuki i te taumata hou o te haumarutanga, na te mea ka taea hoki te tino manatoko i nga waahanga taputapu i te wa kei te heke mai, kaore e taea te whakatutuki mo nga hoahoanga taputapu rangatira.
I te wa e whakamanahia ana te seL4, ka whakaarohia kei te mahi nga taputapu i runga i te korero me te tohu e whakaatu ana i te whanonga o te punaha, engari i roto i te pono kaore nga taputapu i te kore he hapa, e tino kitea ana e nga raru ka puta mai i nga wa katoa i roto i te tikanga o te mahi whakapae. tohutohu. Ko nga tüäpapa taputapu tuwhera he ngawari ake te whakauru i nga huringa e pa ana ki te haumarutanga - hei tauira, ki te aukati i nga riihitanga o te hongere-taha ka taea, he pai ake te whakakore i te raru i roto i nga taputapu i te ngana ki te rapu huarahi mahi i roto i te rorohiko.
Kia mahara ko te hoahoanga seL4 te neke i nga waahanga mo te whakahaere rauemi kernel ki te waahi kaiwhakamahi me te whakamahi i nga tikanga whakahaere 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.
Ka whakaratohia e RISC-V he punaha tohutohu miihini tuwhera me te ngawari e taea ai te hanga miihini miihini mo nga tono noa me te kore e tono utu, aho ranei hei whakamahi. Ka taea e RISC-V koe ki te hanga i nga SoC me nga tukatuka tino tuwhera. I tenei wa i runga i te tohu RISC-V e nga kamupene rereke me nga hapori i raro i nga momo raihana kore utu (BSD, MIT, Apache 2.0) he maha nga momo rereke o nga miihini miihini, nga SoC me nga maramara kua mahia. Ko te tautoko a RISC-V mai i nga putanga o Glibc 2.27, binutils 2.30, gcc 7, me te Linux kernel 4.15.
Source: opennet.ru