Исходное сообщение
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено Аноним, 11-Июн-20 14:41
> минимум, одной маааленькой фишкой: бóльший объём flash-ROM за ту же или даже меньшую цену Еще у них есть ответвления F1xx-like которых в оригинале нет - например мелкие QFN с USB и общим видом железа как у F1xx. У STMicro именно такого комбо почему-то и нет, при всем разнообразии. Неужто никто usb не хотел в мелком корпусе c F1xx? Да ну ладно?! > кристалл последовательной флеш-памяти, разварив и залив несколько кристаллов в одном корпусе. А вы их щупали? Флеху шить программно пробовали? Оно по flash controller не совместимо? А то даташит вроде как клон STM-ов 1 в 1. > Здесь вот другой их не менее впечатливший выкрутас — придумать серию GD32V, > где вся периферия (включая адреса для MMIO) взята от соответствующих STM32Fxxx, > но ядро заменено на RISC-V, Вот это они очень стебно прикололись. Надо будет как-нибудь повертеть в руках этот неведомый пепелац. > Т.е. с одной стороны — бесстыднейшее (и крайне спорное с юридической точки > зрения) копирование и паразитирование на чужих идеях и наработках STMicro им как бы железки не давал - сами совместимые разработали. Почему так нельзя - науке неизвестно. Вроде бы API не есть копирайченая штука, оракла vs гугл на этой теме помнится завернули. > кому-то это тоже окажется интересным ~открытием или дополнят/поправят (раз уж затронули > такую интересную мне тему). У узкоглазых есть и еще клоны STM32 от других фирм, разной степени кривизны. Вон там рядом какой-то чудак мыкается, у него оно в бутлоадер не входит чего-то.