https://opennet.dev/openforum/vsluhforumID3/120900.html Организация RISC-V Foundation сообщила о верификации работы микроядра seL4 на системах с архитектурой набора команд RISC-V. Верификация сводится к математическому доказательству надёжности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров RISC-V RV64, требующих повышенного уровня надёжности и гарантирующих отсутствие сбоев...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=53129<br> https://opennet.dev/openforum/vsluhforumID3/120900.html#201 Mon, 15 Jun 2020 20:50:37 GMT По итогу самым безопасным окажется ядро "Hello world".<br> https://opennet.dev/openforum/vsluhforumID3/120900.html#200 Mon, 15 Jun 2020 03:31:32 GMT Как там грится? Джентльменамм верят на слово! И тут мне карта как поперла, как поперла!<br> https://opennet.dev/openforum/vsluhforumID3/120900.html#199 Mon, 15 Jun 2020 03:30:19 GMT &gt; Что значит -- "переиграет весь мир"?<br><br>Это реверанс в адрес "если Kasperky OS "взлетит"". Блин, скорее пингвины научатся летать. Стоп, "given enough rocket power penguins can fly" (c) :D<br> https://opennet.dev/openforum/vsluhforumID3/120900.html#198 Mon, 15 Jun 2020 03:15:23 GMT &gt; Собственно, я об этой ситуации и говорил в &#171;это давно напрашивалось, но <br>&gt; ST это посчитали не очень-то нужным, а китайцы взяли и реализовали&#187;. <br><br>Я честно говоря не понял почему в мелком корпусе, с usb и вообще F103-like обвесом - "не очень нужное". Китайцы вот тоже. Минимум сравнимого что я знаю это F103 в qfn36, но у китайцев и мельче есть, qfn28 чтоли, выводок F150. Что-то ST с маркетингом перемудрил местами, имхо.<br><br>&gt; А чего бы ему быть несовместимым? Поскольку общение с флеш-памятью что в <br>&gt; оригинале, что тут идёт не напрямую, а через внутренний контроллер, этот <br>&gt; самый контроллер прекрасно абстрагирует все подробности.<br><br>Ну вот в этом и вопрос был - смогли ли они вывесить аналогичный интерфейс железки. И это вопрос к тому кто реально пробовал этой железкой покомандовать, соответственно :)<br><br>&gt; В общем-то, наличие команд для стирание страницами и записи словами не зависит<br>&gt; от типа флеш-памяти, это везде есть.<br><br>Просто для SPI это технически дольше и сложнее. Но если железка-посредник https://opennet.dev/openforum/vsluhforumID3/120900.html#197 Sun, 14 Jun 2020 22:06:21 GMT &gt; по тому<br>&gt; по этому<br><br>Да сколько ж можно?!<br> https://opennet.dev/openforum/vsluhforumID3/120900.html#195 Sun, 14 Jun 2020 18:46:03 GMT Хз на счёт управления, не сведущ в вопросе, но видится мне, США не зря и не просто так это счастье выперли.<br> https://opennet.dev/openforum/vsluhforumID3/120900.html#194 Sat, 13 Jun 2020 23:23:00 GMT &gt; Еще у них есть ответвления F1xx-like которых в оригинале нет - например <br>&gt; мелкие QFN с USB и общим видом железа как у F1xx. <br>&gt; У STMicro именно такого комбо почему-то и нет, при всем разнообразии. <br>&gt; Неужто никто usb не хотел в мелком корпусе c F1xx? Да ну ладно?!<br><br>Собственно, я об этой ситуации и говорил в &#171;это давно напрашивалось, но ST это посчитали не очень-то нужным, а китайцы взяли и реализовали&#187;.<br><br><br>&gt;&gt; кристалл последовательной флеш-памяти, разварив и залив несколько кристаллов в одном корпусе.<br>&gt; А вы их щупали? Флеху шить программно пробовали? Оно по flash controller <br>&gt; не совместимо? А то даташит вроде как клон STM-ов 1 в 1.<br><br>А чего бы ему быть несовместимым? Поскольку общение с флеш-памятью что в оригинале, что тут идёт не напрямую, а через внутренний контроллер, этот самый контроллер прекрасно абстрагирует все подробности. В общем-то, наличие команд для стирание страницами и записи словами не зависит от типа флеш-памяти, это везде есть.<br><br>&gt;&gt; Т.е. с одной стороны &#8212; бесст https://opennet.dev/openforum/vsluhforumID3/120900.html#193 Sat, 13 Jun 2020 15:02:10 GMT Это, увы, не достижимо в принципе. Ну так Рассель, Кантор, Гедоль ну и НамеНаме считают.<br> https://opennet.dev/openforum/vsluhforumID3/120900.html#191 Sat, 13 Jun 2020 14:58:36 GMT Что значит -- "переиграет весь мир"? "Весь мир" и так себя самого переигрывает. Безо всякой помощи. ИТ -- такой, какой он сейчас -- должен умереть.<br>