RISC-V Faavae e uiga i le faʻamaonia o le faʻaogaina o le microkernel i luga o faiga ma RISC-V faʻatonuga seti fausaga. Fa'amaoniga e o'o mai i lalo faʻatuatuaina o le faʻaogaina o le seL4, lea e faʻaalia ai le tausisia atoatoa o faʻamatalaga faʻamaonia i le gagana aloaia. Faamaoniga o le faatuatuaina seL4 i faiga faʻa-misiona e faʻavae i luga ole RISC-V RV64 processors e manaʻomia ai le faʻateleina o le faʻatuatuaina ma faʻamautinoa le leai o ni faʻaletonu. E mafai e le au atinaʻe o polokalama faʻapipiʻi i luga o le kernel seL4 ona mautinoa atoatoa afai e iai se faaletonu i se tasi vaega o le polokalama, o lenei toilalo o le a le salalau atu i le vaega o totoe o le polokalama ma, aemaise lava, o ona vaega taua.
O le seL4 microkernel na faʻamaonia muamua mo le 32-bit ARM processors, ma mulimuli ane mo le 64-bit x86 processors. O loʻo maitauina o le tuʻufaʻatasia o le faʻaogaina o le RISC-V hardware architecture ma le open seL4 microkernel o le a ausia ai se tulaga fou o le saogalemu, talu ai e mafai foi ona faʻamaonia atoatoa vaega o meafaigaluega i le lumanaʻi, lea e le mafai ona ausia mo fausaga faʻapitoa faʻapitoa.
Pe a faʻamaonia seL4, e faʻapea o loʻo galue meafaigaluega e pei ona taʻua ma o loʻo faʻamatalaina atoatoa e le faʻamatalaga le amio a le faiga, ae o le mea moni o meafaigaluega e leʻo saʻoloto mai mea sese, lea e faʻaalia manino e ala i faʻafitauli faʻafuaseʻi o loʻo faʻaalia i le faiga o le faʻataunuʻuina o faʻamatalaga. faatonuga. Tatala fa'apipi'i masini e fa'afaigofie ai le tu'ufa'atasia o suiga e feso'ota'i ma le puipuiga - mo se fa'ata'ita'iga, e poloka uma alale'a ta'avale e ono mafai, lea e sili atu le lelei e fa'ate'aina ai le fa'afitauli i masini nai lo le taumafai e su'e fofo i totonu o polokalama.
Manatua o le fausaga seL4 fe'avea'i vaega mo le fa'afoeina o puna'oa i totonu o avanoa e fa'aoga ai ma fa'aoga tutusa auala e pulea ai avanoa mo ia punaoa e pei o punaoa fa'aoga. Ole microkernel e le tu'uina atu ni fa'amatalaga maualuga mo le puleaina o faila, fa'agasologa, feso'ota'iga feso'ota'iga, ma mea fa'apena; nai lo lena, e maua ai na'o ni auala laiti mo le fa'atonutonuina o avanoa ile tuatusi fa'aletino avanoa, fa'alavelave, ma punaoa gaosi. O faʻamatalaga maualuga ma avetaʻavale mo le fegalegaleai ma meafaigaluega e faʻatinoina eseese i luga o le microkernel i le tulaga o galuega faʻaoga-tulaga. Avanoa o ia galuega i punaoa o loʻo avanoa i le microkernel e faʻatulagaina e ala i le faʻamalamalamaina o tulafono.
O le RISC-V o loʻo tuʻuina atu se faiga faʻatonu ma fetuutuunai masini e mafai ai ona fausia microprocessors mo talosaga faʻapitoa e aunoa ma le manaʻomia o totogi poʻo ni manoa faʻapipiʻi e faʻaoga. RISC-V faʻatagaina oe e fatuina SoCs ma faʻagaioiga matala atoatoa. I le taimi nei e faʻavae i luga o le RISC-V faʻamatalaga e kamupani eseese ma nuʻu i lalo o laisene saoloto eseese (BSD, MIT, Apache 2.0) le tele o le tele o suiga ole microprocessor cores, SoCs ma meataalo ua uma ona gaosia. O loʻo iai le lagolago a le RISC-V talu mai le tatalaina o le Glibc 2.27, binutils 2.30, gcc 7, ma le Linux kernel 4.15.
puna: opennet.ru