This practice is undocumented. It does not appear in Gartner reports. But it exists in the firmware of oil platforms off the coast of Rio, in the signaling systems of São Paulo’s Metro Line 4, in the sugar mill centrifuges of Alagoas. It is the shadow market—uncertified, uninsured, yet keeping critical infrastructure alive.
Not in failure. In .
The political driver is not just sovereignty. It’s industrial espionage . Brazil suspects (with some evidence) that foreign-made hypervisors in its power grid contain dormant backdoors—not for sabotage, but for industrial data harvesting about grid stability. A Brazilian hypervisor would be opaque to foreign intelligence. brazil embedded hypervisor software market
But the technical hurdles are brutal. Formal verification (proving mathematically that partitions cannot leak data) requires rare expertise. Brazil has perhaps 30 people qualified. They are all employed by Embraer or ITA. None are in private startups. This practice is undocumented
And as Brazil enters the era of the Internet of Dangerous Things, that ghost in the machine may be the only real owner left. The political driver is not just sovereignty