RISC-V ืืืืงืืคึผืขืืืข ืืขืืืืื ืืืขืื ืืืขืจืึทืคืืืื ื ืื ืึธืคึผืขืจืึทืฆืืข ืคืื โโืื ืืืงืจืึธืงืขืจื ืขื seL4 ืืืืฃ ืกืืกืืขืืขื ืืื RISC-V ืื ืกืืจืืงืืืึธื ืฉืืขืื ืึทืจืงืึทืืขืงืืฉืขืจ. ืืืขืจืึทืคืึทืงืืืฉืึทื ืงืืื ืึทืจืึธืคึผ ืฆื ืืึทืืึทืืึทืืืงืึทื ืืขืจืืืืึทื ืื ืจืืืืืึทืืืืึทืื ืคืื SeL4 ืึธืคึผืขืจืึทืฆืืข, ืืืึธืก ืื ืืืงืืืฅ ืคืื ืืขืกืงืขื ืืื ืื ืกืคึผืขืกืึทืคืึทืงืืืฉืึทื ื ืกืคึผืขืกืืคืืขื ืืื ืื ืคืึธืจืืึทื ืฉืคึผืจืึทื. ืืขืจืืืืึทื ืคืื ืจืืืืืึทืืืืึทืื ืึทืืึทืื ืืืจ ืฆื ื ืืฆื seL4 ืืื ืืืกืืข-ืงืจืืืืฉ ืกืืกืืขืืขื ืืืืืจื ืืืืฃ RISC-V RV64 ืคึผืจืึทืกืขืกืขืจื ืืืึธืก ืืึทืจืคื ืึท ืืขืืืืงืกื ืืืจืื ืคืื ืจืืืืืึทืืืืึทืื ืืื ืืึทืจืึทื ืืืจื ืื ืึทืืืขืง ืคืื ืคืืืืืขืจื. ืืขืืืขืืึธืคึผืขืจืก ืคืื ืืืืืืืืืจื ืคืืืกื ืืืง ืืืืฃ ืฉืคึผืืฅ ืคืื ืื seL4 ืงืขืจื ืงืขื ืขื ืืืื ืืึธืจ ืืืืขืจ ืึทื ืืืื ืขืก ืืื ืึท ืืืจืืคืึทื ืืื ืืืื ืืืื ืคืื ืื ืกืืกืืขื, ืืขื ืืืจืืคืึทื ืืืขื ื ืืฉื ืคืึทืจืฉืคึผืจืืืื ืฆื ืื ืจืขืฉื ืคืื ืื ืกืืกืืขื ืืื, ืกืคึผืขืฆืืขื, ืืืื ืงืจืืืืฉ ืืืืื.
ืื seL4 ืืืงืจืึธืงืขืจื ืขื ืืื ืืืืืขืก ืืืขืจืึทืคืืื ืคึฟืึทืจ 32-ืืืกื ARM ืคึผืจืึทืกืขืกืขืจื, ืืื ืฉืคึผืขืืขืจ ืคึฟืึทืจ 64-ืืืกื ืงืก86 ืคึผืจืึทืกืขืกืขืจื. ืขืก ืืื ืืืืขืจืงื ืึทื ืื ืงืึธืืืื ืึทืฆืืข ืคืื โโโโืื ืึธืคึฟื RISC-V ืืึทืื ืืืึทืจื ืึทืจืงืึทืืขืงืืฉืขืจ ืืื ืื ืึธืคึฟื seL4 ืืืงืจืึธืงืขืจื ืขื ืืืขื ืืขืจืืจืืืื ืึท ื ืืึท ืืืจืื ืคืื ืืืืขืจืืืื, ืืืืึทื ืื ืืึทืื ืืืึทืจื ืงืึทืืคึผืึธืื ืึทื ืฅ ืงืขื ืขื ืืืื ืืืื ืืึธืจ ืืืขืจืึทืคืืื ืืื ืืขืจ ืฆืืงืื ืคึฟื, ืืืึธืก ืืื ืืืืืขืืืขื ืฆื ืืขืจืืจืืืื ืคึฟืึทืจ ืคึผืจืึทืคึผืจืืืึทืืขืจื ืืึทืื ืืืึทืจื ืึทืจืงืึทืืขืงืืฉืขืจื.
ืืืขื ืืืขืจืึทืคืืืื ื seL4, ืขืก ืืื ืื ืืขื ืืืขื ืึทื ืื ืขืงืืืืคึผืืขื ื ืึทืจืืขื ืืื ืกืืืืืื ืืื ืื ืกืคึผืขืกืึทืคืึทืงืืืฉืึทื ื ืืึธืจ ืืืกืงืจืืืื ืื ื ืึทืืืจ ืคืื ืื ืกืืกืืขื, ืึธืืขืจ ืืื ืคืึทืงื, ืื ืขืงืืืืคึผืืขื ื ืืื ื ืืฉื ืคืจืื ืคืื ืขืจืจืึธืจืก, ืืืึธืก ืืื ืงืืืจ ืืขืืึทื ืกืืจืืืืื ืืืจื ืงืขืกืืืืขืจืืืง ืืืขืจืืืฉืื ื ืคึผืจืึธืืืขืืก ืืื ืื ืืขืงืึทื ืืืึทื ืคืื ืกืคึผืขืงืืืึทืืืืืข ืืืจืืคืืจืื ื. ืื ืกืืจืึทืงืฉืึทื ื. ืขืคึฟืขื ืขื ืืึทืื ืืืึทืจื ืคึผืืึทืืคืึธืจืืก ืืึทืื ืขืก ืืจืื ืืขืจ ืฆื ืืืกืฉืืืืขื ืืืืขืจืืืื-ืคึฟืึทืจืืื ืืขื ืข ืขื ืืขืจืื ืืขื - ืคึฟืึทืจ ืืืึทืฉืคึผืื, ืฆื ืคืึทืจืฉืคึผืึทืจื ืึทืืข ืืขืืืขื ืืืึทื-ืงืึทื ืึทื ืืืงืก, ืืื ืขืก ืืื ืคืื ืืขืจ ืขืคืขืงืืืื ืฆื ืืึทืงืืืขื ืืึทืคืจืืึทืขื ืคืื ืื ืคึผืจืึธืืืขื ืืื ืืึทืื ืืืึทืจื ืืื ืฆื ืคึผืจืืืืจื ืฆื ืืขืคึฟืื ืขื ืืืึธืจืงืึทืจืึธืื ืืก ืืื ืืืืืืืืืจื.
ืฆืืจืืงืจืืคื ืึทื ืื seL4 ืึทืจืงืึทืืขืงืืฉืขืจ ืืขืจืงืืืืจืืืง ืืึธืืืื ื ืืืืื ืคึฟืึทืจ ืึธื ืคืืจืื ื ืงืขืจื ืขื ืจืขืกืืจืกื ืืื ืืึทื ืืฆืขืจ ืคึผืืึทืฅ ืืื ืึทืคึผืืืืื ื ืื ืืขืืืข ืึทืงืกืขืก ืงืึธื ืืจืึธื ืืืื ืคึฟืึทืจ ืึทืืึท ืจืขืกืืจืกื ืืื ืคึฟืึทืจ ืืึทื ืืฆืขืจ ืจืขืกืืจืกื. ืืขืจ ืืืงืจืึธืงืขืจื ืขื ืืื ื ืื ืคืึทืจืืืง ืืืื-ืืืจืื ืึทืืกืืจืึทืงืฆืืขืก ืคึฟืึทืจ ืึธื ืคืืจืื ื ืืขืงืขืก, ืคึผืจืึทืกืขืกืึทื, ื ืขืฅ ืงืึทื ืขืงืฉืึทื ื, ืืื ืื ืืื; ืึทื ืฉืืึธื, ืขืก ืืื ืืืืื ืืื ืืืึทื ืืขืงืึทื ืืืึทืื ืคึฟืึทืจ ืงืึทื ืืจืึธืืืื ื ืึทืงืกืขืก ืฆื ืืฉืืืืช ืึทืืจืขืก ืคึผืืึทืฅ, ืื ืืขืจืึทืคึผืฅ ืืื ืคึผืจืึทืกืขืกืขืจ ืจืขืกืืจืกื. ืืืื-ืืืจืื ืึทืืกืืจืึทืงืฆืืขืก ืืื ืืจืืืืขืจืก ืคึฟืึทืจ ืื ืืขืจืึทืงืืื ื ืืื ืืึทืื ืืืึทืจื ืืขื ืขื ืืืคึผืืึทืืขื ืึทื ืกืขืคึผืขืจืึทืืื ืืืืฃ ืฉืคึผืืฅ ืคืื ืื ืืืงืจืึธืงืขืจื ืขื ืืื ืื ืคืึธืจืขื ืคืื ืืึทื ืืฆืขืจ-ืืืจืื ืืึทืกืงืก. ืึทืงืกืขืก ืคืื ืึทืืึท ืืึทืกืงืก ืฆื ืื ืจืขืกืืจืกื ืื ืืืฆื ืฆื ืื ืืืงืจืึธืงืขืจื ืขื ืืื ืึธืจืืึทื ืืืืจื ืืืจื ืื ืืขืคึฟืื ืืฆืืข ืคืื โโืึผืืืื.
RISC-V ืคึผืจืึธืืืืืขืก ืึทื ืึธืคึฟื ืืื ืคืืขืงืกืึทืืึทื ืืึทืฉืื ืืืืขื ืกืืกืืขื ืืืึธืก ืึทืืึทืื ืืืืงืจืึธืืคึผืจืึทืกืขืกืขืจื ืฆื ืืืื ืืขืืืื ืคึฟืึทืจ ืึทืจืืืืจืึทืจืืฉ ืึทืคึผืืึทืงืืืฉืึทื ื ืึธื ืจืืงืืืืืจืื ื ืจืืืึทืืืื ืึธืืขืจ ืกืืจืื ืืก ืึทืืึทืืฉื ืฆื ื ืืฆื. RISC-V ืึทืืึทืื ืืืจ ืฆื ืฉืึทืคึฟื ืืึธืจ ืึธืคึฟื ืกืึธืงืก ืืื ืคึผืจืึทืกืขืกืขืจื. ืืขืจืืืืึทื ืืืืืจื ืืืืฃ ืื RISC-V ืืึทืฉืจืืึทืืื ื ืคืื ืคืึทืจืฉืืืขื ืข ืงืึธืืคึผืึทื ืืขืก ืืื ืงืืืืืช ืืื ืืขืจ ืคืึทืจืฉืืื ืคืจืื ืืืืกืึทื ืกืื (BSD, MIT, Apache 2.0) ืืื ืืขืืืขืืึธืคึผืื ื ืขืืืขืืข ืืืฅ ืืืขืจืืึทื ืฅ ืคืื ืืืืงืจืึธืืคึผืจืึทืกืขืกืขืจ ืงืึธืจืขืก, ืกืึธืงืก ืืื ืฉืืื ืืขืฉืืคื ืืฉืืคึผืก. RISC-V ืฉืืืฆื ืืื ืืขืืืขื ืคืึธืจืฉืืขืื ืืื ื ืื ืจืืืืกืื ืคืื Glibc 2.27, binutils 2.30, gcc 7 ืืื ืื ืืื ืืงืก ืงืขืจื 4.15.
ืืงืืจ: opennet.ru