#sel4

已在安全RISC-V处理器上验证seL4
Verified seL4 on secure RISC-V processors(ts.data61.csiro.au)
2020-7-23 10:2
RISC-V有很多吸引人的地方，从架构的开放性、基于简单性和可扩展性的全新设计，以及RISC-V基金会从头开始对安全的坚定承诺。因此，RISC-V以其无与伦比的验证和安全故事对开源seL4微内核来说是一个极具吸引力的平台。这导致业界参与者，特别是总部位于德国的HENSOLDT Cyber，在RISC-V和seL4的组......