caxapa.ru :: Довольно интересен список поддерживаемого харда ->, есть на редкость интересные платы --> BD-SL-i.MX6 ◦The Sabre Lite i.mx6 board.

Evgeny_CD, Архитектор (12.02.2016 00:28, просмотров: 214) ответил Evgeny_CD на seL4. seL4's implementation is formally (mathematically) proved correct (bug-free) against its specification -> seL4-Based Project -->

Довольно интересен список поддерживаемого харда ->, есть на редкость интересные платы --> BD-SL-i.MX6 ◦The Sabre Lite i.mx6 board. https://boundarydevices.com/product/sabre-lite-imx6-sbc/
http://sel4.systems/Info/GettingStarted/

Ответить

Средства и методы разработки