DO-254 é para hardware eletrônico transportado por via aérea. Redundância não é necessariamente necessária para o DO-254. Eu esperaria que o fabricante do processador pudesse fornecer um pacote de dados com a documentação necessária se uma empresa o usasse em um produto certificável DO-254.
Na minha experiência, no entanto, o DO-254 é aplicado apenas para componentes personalizados com micro-código (pelo menos para o FAA). O DO-254 foi uma maneira de aplicar conceitos semelhantes ao DO-178 a coisas como PLDs, FPGAs e ASICs para evitar uma lacuna de "firmware" na certificação.