- L4 microkernel family -> Кто-нибудь щупал это дело с практической точки зрения? - Evgeny_CD(15.09.2012 01:05, dao, ссылка, полностью)
- seL4. seL4's implementation is formally (mathematically) proved correct (bug-free) against its specification -> seL4-Based Project --> Evgeny_CD(162 знак., 12.02.2016 00:19 - 00:39, ссылка, ссылка)
- Кто понимает в теме, вдруг кто быстро разберется - как именно они верифицируют код на соответствие спецификациям? - Evgeny_CD(12.02.2016 01:45)
- Еще про нее же. В конце страницы шикарная подборка документов и през. - Evgeny_CD(12.02.2016 00:37, ссылка)
- Ой. eChronos project builds and formally verifies, a small, versatile, high-assurance real-time operating system (OS) for embedded micro-controllers -> •Formal functional specification (completed) Какой-то разрыв шаблона. Evgeny_CD(39 знак., 12.02.2016 00:34, ссылка)
- Довольно интересен список поддерживаемого харда ->, есть на редкость интересные платы --> BD-SL-i.MX6 ◦The Sabre Lite i.mx6 board. - Evgeny_CD(12.02.2016 00:28, ссылка, ссылка)
- Щупали и щупаем. Сыровато пока, писать надо много, в часности драйвера, в основном используем Genode и Fiasco.OC+L4Re. Остальные проекты либо закрыты (например OKL4) или близки к смерти (например Pistachio). - vanner(15.04.2013 21:53, ссылка, ссылка)
- Подборка документов по L4 Evgeny_CD(15.04.2013 21:33)
- Тут уместно вспомнить
знатный срач высокоинтеллектуальный спор Торвальдса и Таненбаума. Мастер-класс по флейму -> - SciFi(15.09.2012 13:27, ссылка)
- [:||||||||||:] Новость ~15-летней давности. - fk0(15.09.2012 11:25)
- Коммерческая ветвь под BSD лицензией -> На первый взгляд, довольно интересно! - Evgeny_CD(15.09.2012 01:12, ссылка)
- какие же страшные бабищи в Пентагоне! Даже генералы не выдерживают и падают в обморок.:)) - =L.A.=(12.02.2016 08:28, zen, полностью)General
- Фильм про Ободзинского. Напомнили, чтобы не забывали... Звучит из каждого утюга, и никто не задумывается, кто это так классно поет песни, которые у всех на слуху (да и на языке). - Гудвин(12.02.2016 15:03, zen, ссылка, полностью)General
- Посоветуйте полевик P-канальный с корпусом 1..2 ватта, 20+ вольт. Ralex(384 знак., 12.02.2016 14:59, SCH, полностью)
- Народ, где можно купить малогабаритные герконы высокой чувствительности? - Звероящер(12.02.2016 12:15, SCH, полностью)
- Создал проект для FreeRTOS для IAR STM32F103 по примеру из ссылки. Работает но при останове под отладчииком жалуется на стек. misyachniy(214 знак., 11.02.2016 11:16, ARM, ссылка, полностью)
- ride51, c51: выкурил pdf-ы и в упор не могу найти как объявить noinit переменную - аноним_и51(11.02.2016 13:49,
, MCU, полностью)
- lwip - он сам кидает ответы на ARP поиск адреса? А то пробую запустить примеры от ST, и как-то глухо пока. WireShark ни одного пакета не показывает. Dingo(130 знак., 14.12.2015 13:18 - 13:21, ARM, полностью)
- А как, если не сам? Всё там работает. Можно влезть туда внутрисхемным отладчиком и проследить путь пакета по стеку. - SciFi(14.12.2015 13:20)
- Можете ещё подсказать или навести на путь истинный? На плате SMCS LAN8720A, подключено по RMII. Какая у него скорость в пределе? Тактирование от ножки контроллера 25МГц, 2 бита данных. Даже если 50МГц MDC, по описанию получаем полезных 16 бит из Dingo(216 знак., 08.02.2016 11:16, ссылка)
- Да я репу чешу: все условия вроде ему создал, а оно не работает "искаропки". С другой стороны - если бы примеры от ST были нерабочие, народ бы давно шапками их закидал. Кто-нибудь запускал их? Я про AN3966. - Dingo(14.12.2015 13:24 - 13:28)
- lwip - непростой зверь. Не очень-то верю, что можно просто взять какой-то левый пример с ним и сделать что-то серьёзное, не залезая во внутренности. Сам я прикручивал голый lwip с сайта проекта, драйвер для STM32 ваял руками. - SciFi(14.12.2015 14:10, картинка)
- Господа, подскажите, кто с каким потоком работал через Ethernet? Требуется 9 Мбит. Если попилить на куски по ~1400 байт, то ~825 пактов в секунду. А у меня STM32F407 на 168 МГц нонстопом отправляет пакеты с интервалом ~106 мсек (чуть больше 10 Dingo(352 знак., 18.01.2016 13:38)
- Хм.. пакетик прилетает в процессе удаления блока? Dingo(1516 знак., 29.12.2015 11:52)
- Продолжу тему. Память куда-то съедает. Ситуация - шлём UDP пакеты, потом перестаёт. Попробовал сообщения включить - ну да, памяти не хватает, а почему не пишет. Dingo(3298 знак., 29.12.2015 08:08 - 08:11)
- Ещё спрошу - DHCP запускали? Статически выдаёт, роутер учитывает, при попытке перейти на динамическое выделение индейская национальная изба "фигвам". Копаю. - Dingo(15.12.2015 13:09)
- Нашёл. Павел на http сделал пример, а остальные не стал допиливать. А у него на Dingo(199 знак., 15.12.2015 07:51)
- Незамысловатый ужин, незамысловатая сервировка, незамысловатые напитки... Гудвин(11.02.2016 19:58, zen, полностью)General
- Разыскивается графическая терминалка, чтобы поддерживала форматированный ввод с компорта, сохранение данных итп. Уже устал текст в Эксель копировать и там графики строить. Пока нашел Serial-Oscilloscope, какие еще бывают? IBAH(10.02.2016 20:29, dao, полностью)
- В этот раз чисто поржать, не думаю, что этим всерьёз кто-то воспользуется. Николай Коровин(2387 знак., 11.02.2016 18:13)
- Abacom RealView. Демка с оф.сайта работает только 30 секунд. Если программа понравится, то на "Казусе" (или на "Радиокоте") можно найти "леченую" DLL-ку. - _Илья(11.02.2016 12:25,
)
- в Экселе VBA живет которым можно автоматизировать всё внутри, в том числе прием с ком-порта и прорисовку графиков, которая в экселе весьма мощная - basilmak(11.02.2016 09:29)
- С прошлого раза осталаcь такая подборка: AlexG(997 знак., 11.02.2016 03:39)
- Забыли замечательный Powergraph, последние версии могут принимать данные с компорта. Если у кого есть таблетка, поделитесь пожалуйста, а то демоверсия делает все, кроме сохранения результатов на диск. Но матаппарат по обработке шикарный. Еще есть Yurasvs(7 знак., 10.02.2016 22:56)
- ставите NI LabWindows. день курите маны, в манах тьма примеров. там на каждый чих примеры. на следующий день пишете себе терминалку с графиками. на третий - сохранение, воспроизведение логов, статистический анализ и всё прочее. я через всё это Mahagam(10 знак., 10.02.2016 22:31)
- Пора FAQ делать - vmp(10.02.2016 21:48, ссылка, ссылка)
- такая ? - zeleny(10.02.2016 21:09, ссылка, картинка)
- Насколько графическая? К моей местной save прикрутить ваще минута. - Николай Коровин(10.02.2016 20:52)
- Знатокам АСМа STM32, проблемка: STM32F3Discovery имеем асм-код,который должен сохранять_контекст - запускать_процедуру (Handler)- восстанавливать_контекст в режиме привилегированного потока, имею глюки (выделено !!!!!) rual(1708 знак., 28.01.2016 14:54 - 16:10, ARM, полностью)
- Три сигнала одного GPIO вызывают перерывание. Анализ состояния выводов с запоминанием есть, но прерывания теряется уж очень часто. Общие рекомендации есть? Для теста подаю один сигнал на все входы. - VL(10.02.2016 14:38,
, MCU, полностью)
- Есть плата с STM32F427IIH в корпусе BGA. При разработке схемы была допущена ошибка: пин BYPASS_REG остался висеть неподключенным. Соответственно внутренний стабилизатор Vdd-->1V2 выключен. Снять BGA и сделать перемычку возможности нет ибо мелкий kakodel((715 знак., 10.02.2016 21:37,
, ARM, полностью)
- По PIC32MX есть грамотные? Подскажите чего нибудь по поводу исключений. mr-x(439 знак., 11.02.2016 12:14, PIC, полностью)
- Здравствуйте, посоветуйте как максимально просто уменьшить выходное напряжение 3V3 CMOS генератора 40МГц до 1V8 или меньше. Можно ли использовать резисторный делитель и обойтись без левел трансляторов? - кварцофил(11.02.2016 13:15,
, SCH, полностью)