Исходное сообщение
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено Аноним, 10-Июн-20 16:32
Всё что я понял, что есть некая шайтан архитектура - RISC, есть её спецификации, есть "разработчики" этих спецификаций и даже есть микропроцессоры. Все открытые процессоры это RISC, не RISC я не нашел. разработчик    спецификация архитектуры        Реализации архитектуры     MIPS Technologies, Inc.    MIPS             OpenPOWER    POWER             университет Беркли    RISC-V             OpenCores    RISC         OpenRISC     OpenSPARC                  Sun Microsystem    SPARC        UltraSPARC T1, UltraSPARC T2     Texas Instruments    SPARCv8        LEON2     Fujitsu    SPARCv9        SPARC64      Simply RISC    SPARC V9        S1 Core