Přesně tak, tohle v embedded Rustu dělám pořád. Const generics a pole statické velikosti (plus https://docs.rs/heapless/latest/heapless/).
A dělal jsem to i v C++ (www.etlcpp.com má klasické STL kontejnery se statickou velikostí jestli neznáte).
A runtime checking vypnutý co nejvíce to jde, protože na mikrokontroleru nedává smysl.