1) Культурную работу с регистрами железа (разных размеров), как то эффективно форсируемый volatile, read-only и проч, развитую и эффективную работу с битовыми полями в каком-нибудь очень маленьком и очень оптимизированом виде без оверхеда и с precompute всего что precompute'ится. На сях это приходится самому делать изобретая велик, ибо битовые типы только в struct - и довольно криво! Ну например: допустим я знаю что у меня 32 бита в регистре. Как насчет красивых деклараций битов и полей в регистре, с проверкой что за 32 бита не выехало вместо UNDEFINED?
2) Стандартный контроль выравнивания и упаковки структур и проч. Может даже с контролем endianess. А чтоб структуроривано например пакеты (сетевые, радио, интерфейсные) описывать культурно и структурировано - но получать побитово предсказуемое нечто в провод/эфир или что там у нас, дабы ресивер на другой стороне это совершенно точно понял даже если это кодили совсем другие люди. В си так ну не то чтобы совсем нельзя, однако есть масса проблем по части endianess и упаковки. А упаковка зачем? Ну например вон тот struct скормить DMA-автомату по адресу "как есть" и стрельнуть его 1 блоком в провод или куда там без участия проца.
3) Стандартный вариант размещения константы/переменной/функции и проч в конкретной секции. А может и контроль за тем что делает линкер из сорца. Если я пишу фирмварь, мне надо чтобы вектора прерываний были в бинаре первыми, и по конкретному физическому адресу. В сях это делается, но - нестандартными расширениями. А вот именно одним только стандартом обойтись в таких вещах - ХРЕН.
4) Развитый compile time checking всего чего можно и нельзя. Потому что #$%нувшаяся на полпути фирмвара - весьма печально и дорого обходится. Наверное можно к этому compile time вычисления как в zig довольно круто припахать.
5) Ну и лично мне нравится гнутый тулчейн. Код хороший генерит, может заспорить с кайлой и иаром на мелких армах только так. Так что оформить новый, клевый яп фронтом к нему - дикий win в моих глазах.