RISC-V เด†เตผเด•เตเด•เดฟเดŸเต†เด•เตเดšเดฑเดฟเดจเดพเดฏเดฟ seL4 เดฎเตˆเด•เตเดฐเต‹เด•เต‡เตผเดฃเตฝ เด—เดฃเดฟเดคเดถเดพเดธเตเดคเตเดฐเดชเดฐเดฎเดพเดฏเดฟ เดชเดฐเดฟเดถเต‹เดงเดฟเดšเตเดšเต.

RISC-V เดซเต—เดฃเตเดŸเต‡เดทเตป เดฑเดฟเดชเตเดชเต‹เตผเดŸเตเดŸเตเดšเต†เดฏเตโ€Œเดคเต เดฎเตˆเด•เตเดฐเต‹เด•เต†เตผเดฃเดฒเดฟเดจเตเดฑเต† เดชเตเดฐเดตเตผเดคเตเดคเดจเด‚ เดชเดฐเดฟเดถเต‹เดงเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดจเต†เด•เตเด•เตเดฑเดฟเดšเตเดšเต seL4 RISC-V เด‡เตปเดธเตเดŸเตเดฐเด•เตเดทเตป เดธเต†เดฑเตเดฑเต เด†เตผเด•เตเด•เดฟเดŸเต†เด•เตเดšเดฑเตเดณเตเดณ เดธเดฟเดธเตเดฑเตเดฑเด™เตเด™เดณเดฟเตฝ. เดธเตเดฅเดฟเดฐเต€เด•เดฐเดฃเด‚ เดตเดฐเตเดจเตเดจเต เด—เดฃเดฟเดคเดถเดพเดธเตเดคเตเดฐ เดคเต†เดณเดฟเดตเต seL4 เดชเตเดฐเดตเตผเดคเตเดคเดจเดคเตเดคเดฟเดจเตเดฑเต† เดตเดฟเดถเตเดตเดพเดธเตเดฏเดค, เด‡เดคเต เด”เดชเดšเดพเดฐเดฟเด• เดญเดพเดทเดฏเดฟเตฝ เดตเตเดฏเด•เตเดคเดฎเดพเด•เตเด•เดฟเดฏเดฟเดŸเตเดŸเตเดณเตเดณ เดธเตเดชเต†เดธเดฟเดซเดฟเด•เตเด•เต‡เดทเดจเตเด•เตพ เดชเต‚เตผเดฃเตเดฃเดฎเดพเดฏเดฟ เดชเดพเดฒเดฟเด•เตเด•เตเดจเตเดจเตเดฃเตเดŸเต†เดจเตเดจเต เดธเต‚เดšเดฟเดชเตเดชเดฟเด•เตเด•เตเดจเตเดจเต. เดตเดฟเดถเตเดตเดพเดธเตเดฏเดคเดฏเตเดŸเต† เดคเต†เดณเดฟเดตเต เด‰เดชเดฏเต‹เด—เดฟเด•เตเด•เดพเตป เดจเดฟเด™เตเด™เดณเต† เด…เดจเตเดตเดฆเดฟเด•เตเด•เตเดจเตเดจเต RISC-V RV4 เดชเตเดฐเตŠเดธเดธเดฑเตเด•เดณเต† เด…เดŸเดฟเดธเตเดฅเดพเดจเดฎเดพเด•เตเด•เดฟเดฏเตเดณเตเดณ เดฎเดฟเดทเตป-เด•เตเดฐเดฟเดŸเตเดŸเดฟเด•เตเด•เตฝ เดธเดฟเดธเตเดฑเตเดฑเด™เตเด™เดณเดฟเตฝ seL64, เด…เดคเต เดตเดฟเดถเตเดตเดพเดธเตเดฏเดค เดตเตผเดฆเตเดงเดฟเดชเตเดชเดฟเด•เตเด•เตเด•เดฏเตเด‚ เดชเดฐเดพเดœเดฏเด™เตเด™เดณเตเดŸเต† เด…เดญเดพเดตเด‚ เด‰เดฑเดชเตเดชเต เดตเดฐเตเดคเตเดคเตเด•เดฏเตเด‚ เดšเต†เดฏเตเดฏเตเดจเตเดจเต. seL4 เด•เต‡เตผเดฃเดฒเดฟเดจเต เดฎเตเด•เดณเดฟเตฝ เดชเตเดฐเดตเตผเดคเตเดคเดฟเด•เตเด•เตเดจเตเดจ เดธเต‹เดซเตโ€Œเดฑเตเดฑเตโ€Œเดตเต†เดฏเตผ เดกเต†เดตเดฒเดชเตเดชเตผเดฎเดพเตผเด•เตเด•เต เดธเดฟเดธเตเดฑเตเดฑเดคเตเดคเดฟเดจเตเดฑเต† เด’เดฐเต เดญเดพเด—เดคเตเดคเต เดชเดฐเดพเดœเดฏเด‚ เดธเด‚เดญเดตเดฟเดšเตเดšเดพเตฝ, เดˆ เดชเดฐเดพเดœเดฏเด‚ เดฌเดพเด•เตเด•เดฟเดฏเตเดณเตเดณ เดธเดฟเดธเตเดฑเตเดฑเดคเตเดคเดฟเดฒเต‡เด•เตเด•เตเด‚ เดชเตเดฐเดคเตเดฏเต‡เด•เดฟเดšเตเดšเต เด…เดคเดฟเดจเตเดฑเต† เดจเดฟเตผเดฃเดพเดฏเด• เดญเดพเด—เด™เตเด™เดณเดฟเดฒเต‡เด•เตเด•เตเด‚ เดตเตเดฏเดพเดชเดฟเด•เตเด•เดฟเดฒเตเดฒเต†เดจเตเดจเต เดชเต‚เตผเดฃเตเดฃเดฎเดพเดฏเตเด‚ เด‰เดฑเดชเตเดชเตเดฃเตเดŸเดพเดฏเดฟเดฐเดฟเด•เตเด•เดพเด‚.

4-เดฌเดฟเดฑเตเดฑเต ARM เดชเตเดฐเตŠเดธเดธเตเดธเดฑเตเด•เตพเด•เตเด•เตเด‚ เดชเดฟเดจเตเดจเต€เดŸเต 32-เดฌเดฟเดฑเตเดฑเต x64 เดชเตเดฐเตŠเดธเดธเตเดธเดฑเตเด•เตพเด•เตเด•เตเดฎเดพเดฏเดฟ seL86 เดฎเตˆเด•เตเดฐเต‹เด•เต‡เตผเดฃเตฝ เดชเดฐเดฟเดถเต‹เดงเดฟเดšเตเดšเตเดฑเดชเตเดชเดฟเดšเตเดšเต. เด“เดชเตเดชเตบ RISC-V เดนเดพเตผเดกเตโ€Œเดตเต†เดฏเตผ เด†เตผเด•เตเด•เดฟเดŸเต†เด•เตเดšเดฑเตเด‚ เด“เดชเตเดชเตบ seL4 เดฎเตˆเด•เตเดฐเต‹เด•เต‡เตผเดฃเดฒเตเด‚ เดธเด‚เดฏเต‹เดœเดฟเดชเตเดชเดฟเด•เตเด•เตเดจเตเดจเดคเต เด’เดฐเต เดชเตเดคเดฟเดฏ เดคเดฒเดคเตเดคเดฟเดฒเตเดณเตเดณ เดธเตเดฐเด•เตเดท เด•เตˆเดตเดฐเดฟเด•เตเด•เตเดฎเต†เดจเตเดจเต เดถเตเดฐเดฆเตเดงเดฟเด•เตเด•เดชเตเดชเต†เดŸเตเดจเตเดจเต, เด•เดพเดฐเดฃเด‚ เดนเดพเตผเดกเตโ€Œเดตเต†เดฏเตผ เด˜เดŸเด•เด™เตเด™เตพ เดญเดพเดตเดฟเดฏเดฟเตฝ เดชเต‚เตผเดฃเตเดฃเดฎเดพเดฏเดฟ เดชเดฐเดฟเดถเต‹เดงเดฟเด•เตเด•เดพเตป เด•เดดเดฟเดฏเตเด‚, เด‡เดคเต เด•เตเดคเตเดคเด• เดนเดพเตผเดกเตโ€Œเดตเต†เดฏเตผ เด†เตผเด•เตเด•เดฟเดŸเต†เด•เตเดšเดฑเตเด•เตพเด•เตเด•เต เดจเต‡เดŸเดพเดจเดพเดตเดฟเดฒเตเดฒ.

seL4 เดชเดฐเดฟเดถเต‹เดงเดฟเด•เตเด•เตเดฎเตเดชเต‹เตพ, เด‰เดชเด•เดฐเดฃเด™เตเด™เตพ เดชเตเดฐเดธเตเดคเดพเดตเดฟเดšเตเดšเดคเตเดชเต‹เดฒเต† เดชเตเดฐเดตเตผเดคเตเดคเดฟเด•เตเด•เตเดจเตเดจเตเดตเต†เดจเตเดจเตเด‚ เดธเตเดชเต†เดธเดฟเดซเดฟเด•เตเด•เต‡เดทเตป เดธเดฟเดธเตเดฑเตเดฑเดคเตเดคเดฟเดจเตเดฑเต† เดธเตเดตเดญเดพเดตเดคเตเดคเต† เดชเต‚เตผเดฃเตเดฃเดฎเดพเดฏเดฟ เดตเดฟเดตเดฐเดฟเด•เตเด•เตเดจเตเดจเตเดตเต†เดจเตเดจเตเด‚ เด…เดจเตเดฎเดพเดจเดฟเด•เตเด•เดชเตเดชเต†เดŸเตเดจเตเดจเต, เดŽเดจเตเดจเดพเตฝ เดตเดพเดธเตเดคเดตเดคเตเดคเดฟเตฝ เด‰เดชเด•เดฐเดฃเด™เตเด™เตพ เดชเดฟเดถเด•เตเด•เดณเดฟเตฝ เดจเดฟเดจเตเดจเต เดฎเตเด•เตเดคเดฎเดฒเตเดฒ, เด‡เดคเต เดŠเดนเด•เตเด•เดšเตเดšเดตเดŸ เดจเดฟเตผเดตเตเดตเดนเดฃ เดธเด‚เดตเดฟเดงเดพเดจเดคเตเดคเดฟเดฒเต† เดชเดคเดฟเดตเดพเดฏเดฟ เด‰เดฏเตผเดจเตเดจเตเดตเดฐเตเดจเตเดจ เดชเตเดฐเดถเตเดจเด™เตเด™เดณเดพเตฝ เดตเตเดฏเด•เตเดคเดฎเดพเดฏเดฟ เดคเต†เดณเดฟเดฏเดฟเด•เตเด•เดชเตเดชเต†เดŸเตเดจเตเดจเต. เดจเดฟเตผเดฆเตเดฆเต‡เดถเด™เตเด™เตพ. เด“เดชเตเดชเตบ เดนเดพเตผเดกเตโ€Œเดตเต†เดฏเตผ เดชเตเดฒเดพเดฑเตเดฑเตโ€Œเดซเต‹เดฎเตเด•เตพ เดธเตเดฐเด•เตเดทเดฏเตเดฎเดพเดฏเดฟ เดฌเดจเตเดงเดชเตเดชเต†เดŸเตเดŸ เดฎเดพเดฑเตเดฑเด™เตเด™เตพ เดธเด‚เดฏเต‹เดœเดฟเดชเตเดชเดฟเด•เตเด•เตเดจเตเดจเดคเต เดŽเดณเตเดชเตเดชเดฎเดพเด•เตเด•เตเดจเตเดจเต - เด‰เดฆเดพเดนเดฐเดฃเดคเตเดคเดฟเดจเต, เดธเดพเดงเตเดฏเดฎเดพเดฏ เดŽเดฒเตเดฒเดพ เดธเตˆเดกเต-เดšเดพเดจเตฝ เดฒเต€เด•เตเด•เตเด•เดณเตเด‚ เดคเดŸเดฏเตเดจเตเดจเดคเดฟเดจเต, เดนเดพเตผเดกเตโ€Œเดตเต†เดฏเดฑเดฟเดฒเต† เดชเตเดฐเดถเตโ€Œเดจเด‚ เดชเดฐเดฟเดนเดฐเดฟเด•เตเด•เตเดจเตเดจเดคเต เดธเต‹เดซเตโ€Œเดฑเตเดฑเตโ€Œเดตเต†เดฏเดฑเดฟเตฝ เดชเดฐเดฟเดนเดพเดฐเด™เตเด™เตพ เด•เดฃเตเดŸเต†เดคเตเดคเดพเตป เดถเตเดฐเดฎเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดจเต‡เด•เตเด•เดพเตพ เดตเดณเดฐเต† เด•เดพเดฐเตเดฏเด•เตเดทเดฎเดฎเดพเดฃเต.

seL4 เด†เตผเด•เตเด•เดฟเดŸเต†เด•เตเดšเตผ เด“เตผเด•เตเด•เตเด• เดถเตเดฐเดฆเตเดงเต‡เดฏเดฎเดพเดฏ เด‰เดชเดฏเต‹เด•เตเดคเตƒ เดธเตเดฅเดฒเดคเตเดคเต‡เด•เตเด•เต เด•เต‡เตผเดฃเตฝ เด‰เดฑเดตเดฟเดŸเด™เตเด™เตพ เด•เตˆเด•เดพเดฐเตเดฏเด‚ เดšเต†เดฏเตเดฏเตเดจเตเดจเดคเดฟเดจเตเดณเตเดณ เดญเดพเด—เด™เตเด™เตพ เดจเต€เด•เตเด•เตเด•เดฏเตเด‚ เด‰เดชเดฏเต‹เด•เตเดคเตƒ เด‰เดฑเดตเดฟเดŸเด™เตเด™เตพเด•เตเด•เตเดณเตเดณ เด…เดคเต‡ เด†เด•เตเดธเดธเต เดจเดฟเดฏเดจเตเดคเตเดฐเดฃ เดฎเดพเตผเด—เตเด—เด™เตเด™เตพ เดชเตเดฐเดฏเต‹เด—เดฟเด•เตเด•เตเด•เดฏเตเด‚ เดšเต†เดฏเตเดฏเตเดจเตเดจเต. เดซเดฏเดฒเตเด•เตพ, เดชเตเดฐเต‹เดธเดธเตเดธเตเด•เตพ, เดจเต†เดฑเตเดฑเตโ€Œเดตเตผเด•เตเด•เต เด•เดฃเด•เตเดทเดจเตเด•เตพ เดŽเดจเตเดจเดฟเดตเดฏเตเด‚ เดฎเดฑเตเดฑเตเด‚ เด•เตˆเด•เดพเดฐเตเดฏเด‚ เดšเต†เดฏเตเดฏเตเดจเตเดจเดคเดฟเดจเดพเดฏเดฟ เดฎเตˆเด•เตเดฐเต‹เด•เต†เตผเดฃเตฝ เดฑเต†เดกเดฟเดฎเต†เดฏเตเดกเต เด‰เดฏเตผเดจเตเดจ เดคเดฒเดคเตเดคเดฟเดฒเตเดณเตเดณ เดธเด‚เด—เตเดฐเดนเด™เตเด™เตพ เดจเตฝเด•เตเดจเตเดจเดฟเดฒเตเดฒ; เดชเด•เดฐเด‚, เดซเดฟเดธเดฟเด•เตเด•เตฝ เด…เดกเตเดฐเดธเต เดธเตเดชเต‡เดธเต, เด‡เดจเตเดฑเดฑเดชเตเดฑเตเดฑเตเด•เตพ, เดชเตเดฐเต‹เดธเดธเตผ เดฑเดฟเดธเต‹เดดเตโ€Œเดธเตเด•เตพ เดŽเดจเตเดจเดฟเดตเดฏเดฟเดฒเต‡เด•เตเด•เตเดณเตเดณ เด†เด•เตโ€Œเดธเดธเต เดจเดฟเดฏเดจเตเดคเตเดฐเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดจเตเดณเตเดณ เดเดฑเตเดฑเดตเตเด‚ เด•เตเดฑเดžเตเดž เดธเด‚เดตเดฟเดงเดพเดจเด™เตเด™เตพ เดฎเดพเดคเตเดฐเดฎเดพเดฃเต เด‡เดคเต เดจเตฝเด•เตเดจเตเดจเดคเต. เดนเดพเตผเดกเตโ€Œเดตเต†เดฏเดฑเตเดฎเดพเดฏเดฟ เดธเด‚เดตเดฆเดฟเด•เตเด•เตเดจเตเดจเดคเดฟเดจเตเดณเตเดณ เดนเตˆ-เดฒเต†เดตเตฝ เด…เดฌเตโ€Œเดธเตโ€ŒเดŸเตเดฐเดพเด•เตเดทเดจเตเด•เดณเตเด‚ เดกเตเดฐเตˆเดตเดฑเตเด•เดณเตเด‚ เด‰เดชเดฏเต‹เด•เตเดคเตƒ-เดคเดฒ เดŸเดพเดธเตโ€Œเด•เตเด•เตเด•เดณเตเดŸเต† เดฐเต‚เดชเดคเตเดคเดฟเตฝ เดฎเตˆเด•เตเดฐเต‹เด•เต†เตผเดฃเดฒเดฟเดจเตเดฑเต† เดฎเตเด•เดณเดฟเตฝ เดชเตเดฐเดคเตเดฏเต‡เด•เด‚ เดจเดŸเดชเตเดชเดฟเดฒเดพเด•เตเด•เตเดจเตเดจเต. เดฎเตˆเด•เตเดฐเต‹เด•เต‡เตผเดฃเดฒเดฟเดจเต เดฒเดญเตเดฏเดฎเดพเดฏ เด‰เดฑเดตเดฟเดŸเด™เตเด™เดณเดฟเดฒเต‡เด•เตเด•เตเดณเตเดณ เด…เดคเตเดคเดฐเด‚ เดŸเดพเดธเตโ€Œเด•เตเด•เตเด•เดณเตเดŸเต† เดชเตเดฐเดตเต‡เดถเดจเด‚ เดจเดฟเดฏเดฎเด™เตเด™เดณเตเดŸเต† เดจเดฟเตผเดตเดšเดจเดคเตเดคเดฟเดฒเต‚เดŸเต† เด•เตเดฐเดฎเต€เด•เดฐเดฟเดšเตเดšเดฟเดฐเดฟเด•เตเด•เตเดจเตเดจเต.

RISC-V เด’เดฐเต เดคเตเดฑเดจเตเดจเดคเตเด‚ เดตเดดเด•เตเด•เดฎเตเดณเตเดณเดคเตเดฎเดพเดฏ เดฎเต†เดทเต€เตป เด‡เตปเดธเตเดŸเตเดฐเด•เตเดทเตป เดธเดฟเดธเตเดฑเตเดฑเด‚ เดจเตฝเด•เตเดจเตเดจเต, เด…เดคเต เดฑเต‹เดฏเตฝเดฑเตเดฑเดฟเดฏเต‹ เดธเตเดŸเตเดฐเดฟเด‚เด—เตเด•เดณเต‹ เด†เดตเดถเตเดฏเดฎเดฟเดฒเตเดฒเดพเดคเต† เดคเดจเตเดจเต† เด…เดจเดฟเดฏเดจเตเดคเตเดฐเดฟเดคเดฎเดพเดฏ เด†เดชเตเดฒเดฟเด•เตเด•เต‡เดทเดจเตเด•เตพเด•เตเด•เดพเดฏเดฟ เดฎเตˆเด•เตเดฐเต‹เดชเตเดฐเตŠเดธเดธเตเดธเดฑเตเด•เตพ เดจเดฟเตผเดฎเตเดฎเดฟเด•เตเด•เดพเตป เด…เดจเตเดตเดฆเดฟเด•เตเด•เตเดจเตเดจเต. เดชเต‚เตผเดฃเตเดฃเดฎเดพเดฏเตเด‚ เดคเตเดฑเดจเตเดจ SoC-เด•เดณเตเด‚ เดชเตเดฐเต‹เดธเดธเตเดธเดฑเตเด•เดณเตเด‚ เดธเตƒเดทเตเดŸเดฟเด•เตเด•เดพเตป RISC-V เดจเดฟเด™เตเด™เดณเต† เด…เดจเตเดตเดฆเดฟเด•เตเด•เตเดจเตเดจเต. เดจเดฟเดฒเดตเดฟเตฝ เดตเดฟเดตเดฟเดง เด•เดฎเตเดชเดจเดฟเด•เดณเตเดŸเต†เดฏเตเด‚ เด•เดฎเตเดฎเตเดฏเต‚เดฃเดฟเดฑเตเดฑเดฟเด•เดณเตเดŸเต†เดฏเตเด‚ RISC-V เดธเตเดชเต†เดธเดฟเดซเดฟเด•เตเด•เต‡เดทเดจเต† เด…เดŸเดฟเดธเตเดฅเดพเดจเดฎเดพเด•เตเด•เดฟ เดตเดฟเดตเดฟเดง เดธเตเดตเดคเดจเตเดคเตเดฐ เดฒเตˆเดธเตปเดธเตเด•เตพเด•เตเด•เต (BSD, MIT, Apache 2.0) เดตเดฟเด•เดธเดฟเดชเตเดชเดฟเด•เตเด•เตเดจเตเดจเต เดฎเตˆเด•เตเดฐเต‹เดชเตเดฐเตŠเดธเดธเตผ เด•เต‹เดฑเตเด•เตพ, SoC-เด•เตพ, เด‡เดคเดฟเดจเด•เด‚ เดจเดฟเตผเดฎเตเดฎเดฟเดšเตเดš เดšเดฟเดชเตเดชเตเด•เตพ เดŽเดจเตเดจเดฟเดตเดฏเตเดŸเต† เดจเดฟเดฐเดตเดงเดฟ เดกเดธเตป เดตเด•เดญเต‡เดฆเด™เตเด™เตพ. Glibc 2.27, binutils 2.30, gcc 7, Linux เด•เต‡เตผเดฃเตฝ 4.15 เดŽเดจเตเดจเดฟเดตเดฏเตเดŸเต† เดฑเดฟเดฒเต€เดธเตเด•เตพ เดฎเตเดคเตฝ RISC-V เดชเดฟเดจเตเดคเตเดฃ เดจเดฟเดฒเดตเดฟเดฒเตเดฃเตเดŸเต.

เด…เดตเดฒเด‚เดฌเด‚: opennet.ru

เด’เดฐเต เด…เดญเดฟเดชเตเดฐเดพเดฏเด‚ เดšเต‡เตผเด•เตเด•เตเด•