Когда пишешь прошивку на Rust, хочется поручить компилятору побольше проверок. Но DMA продолжает менять память независимо от существующих ссылок, ошибка передачи не отменяет уже записанные регистры, а отсутствие кучи не спасает от переполнения стека. При разработке NanoVNA-X-BM (bare metal) мне пришлось разобраться, какие ошибки можно запретить через интерфейсы, что проверять на ПК и для чего всё равно нужен настоящий board. Расскажу, как разделил расчёты и аппаратные драйверы, зачем добавил примеры, которые не должны компилироваться, и почему проверяю не только код, но и готовый файл прошивки. Читать далее
Continue to Habr →You are being forwarded in 6s — stay on this page