Motheo oa RISC-V mabapi le ho netefatsa ts'ebetso ea microkernel lits'ebetsong tse nang le meralo ea litaelo tsa RISC-V. Netefatso e theohela ho ts'epahalo ea ts'ebetso ea seL4, e bonts'ang ho lumellana ka botlalo le litlhaloso tse boletsoeng puong ea semmuso. Bopaki ba ho tšepahala seL4 lits'ebetsong tsa bohlokoa tsa maikemisetso tse ipapisitseng le li-processor tsa RISC-V RV64 tse hlokang boemo bo eketsehileng ba ho ts'epahala le ho netefatsa ho ba sieo ha mefokolo. Bahlahisi ba software e mathang ka holim'a kernel ea seL4 ba ka kholiseha ka ho feletseng hore haeba ho e-na le ho hlōleha karolong e le 'ngoe ea tsamaiso, ho hlōleha hona ho ke ke ha hasana ho ea tsamaisong eohle, haholo-holo, likarolo tsa eona tsa bohlokoa.
SeL4 microkernel e ile ea netefatsoa qalong bakeng sa li-processor tsa 32-bit ARM, 'me hamorao bakeng sa li-processor tsa 64-bit x86. Hoa hlokomeloa hore motsoako oa meralo ea meralo e bulehileng ea RISC-V e nang le microkernel e bulehileng ea seL4 e tla fihlela boemo bo bocha ba ts'ireletso, kaha likarolo tsa Hardware le tsona li ka netefatsoa ka botlalo nakong e tlang, tse ke keng tsa finyelloa bakeng sa meralo ea thepa ea thepa.
Ha u netefatsa seL4, ho nahanoa hore lisebelisoa li sebetsa joalo ka ha ho boletsoe mme tlhaloso e hlalosa ka botlalo boitšoaro ba tsamaiso, empa ha e le hantle thepa ha e na liphoso, e bontšoang ka ho hlaka ka mathata a hlahang khafetsa mochineng oa ho etsa lintho tse inahaneloang. ditaelo. Li-platform tsa lisebelisoa tse bulehileng li etsa hore ho be bonolo ho kopanya liphetoho tse amanang le ts'ireletso - ka mohlala, ho thibela ho lutla hohle ho ka khonehang, moo ho leng molemo haholo ho tlosa bothata ho hardware ho feta ho leka ho fumana li-workaround ho software.
Hopola hore meralo ea seL4 ho tsamaisa likarolo tsa ho laola lisebelisoa tsa kernel sebakeng sa mosebelisi le ho sebelisa mokhoa o ts'oanang oa taolo ea phihlello bakeng sa lisebelisoa tse joalo ka lisebelisoa tsa basebelisi. Microkernel ha e fane ka likheo tsa boemo bo holimo tse lokiselitsoeng ho laola lifaele, lits'ebetso, likhokahano tsa marang-rang, joalo-joalo; ho fapana le moo, e fana ka mekhoa e fokolang feela ea ho laola phihlello ea sebaka sa aterese ea 'mele, litšitiso le lisebelisoa tsa processor. Lits'oants'o tsa boemo bo holimo le bakhanni ba ho sebelisana le hardware li kengoa tšebetsong ka thoko holim'a microkernel ka mokhoa oa mesebetsi ea boemo ba basebelisi. Ho fihlella ha mesebetsi e joalo ho lisebelisoa tse fumanehang ho microkernel ho hlophisitsoe ka tlhaloso ea melao.
RISC-V e fana ka sistimi ea litaelo ea mochini e bulehileng le e tenyetsehang e lumellang li-microprocessors hore li hahuoe bakeng sa lits'ebetso tse ikemetseng ntle le ho hloka meputso kapa likhoele tse hoketsoeng ho sebelisoa. RISC-V e u lumella ho theha li-SoC le li-processor tse bulehileng ka botlalo. Hajoale e ipapisitse le litlhaloso tsa RISC-V ke lik'hamphani le sechaba se fapaneng tlasa lilaesense tse fapaneng tsa mahala (BSD, MIT, Apache 2.0) mefuta e 'maloa ea li-microprocessor cores, li-SoCs le li-chips tse seng li hlahisitsoe. Tšehetso ea RISC-V esale e le teng ho tloha ha ho lokolloa Glibc 2.27, binutils 2.30, gcc 7, le Linux kernel 4.15.
Source: opennet.ru