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.
One such hypervisor, (Portuguese for "jam" — because it sticks to any hardware), written by a 19-year-old in Recife, gains underground fame. It partitions a 1980s Z80-based dialysis machine to run a modern logging OS alongside its original firmware. It is not certified. It is not legal. But it saves lives in a public hospital in Fortaleza. brazil embedded hypervisor software market
A jeitinho hypervisor is not a product. It’s an architectural workaround . Because importing certified hypervisors is slow (6-9 months via INMETRO homologation) and expensive (30% PIS/COFINS taxes on software licenses), Brazilian systems engineers have become masters of . They take old PowerPC or MIPS industrial controllers, strip down a minimal hypervisor (often KVM-based, sometimes a hacked L4), and run mission-critical legacy systems inside thin partitions. But the technical hurdles are brutal
And so a new generation of Brazilian embedded engineers—educated not in ITA but in federal institutes in the Northeast, in night courses in the favelas of Heliópolis—builds for 8-bit and 16-bit architectures. These are tiny, auditable, and deeply local. They run on scrap hardware. They are shared on Telegram groups, not GitHub. They are all employed by Embraer or ITA
And it is dangerous. In 2021, a malfunctioning jeitinho hypervisor on a Rio de Janeiro BRT bus system caused 47 buses to simultaneously lose braking assist. The investigation was hushed. The code was never audited. In late 2023, the Brazilian Ministry of Science, Technology, and Innovation (MCTI) launched Hypervisor Brasil —a 48-month, R$90 million ($18M USD) project led by the Technological Institute of Aeronautics (ITA). The goal: create a nationally owned, formally verified separation kernel for embedded systems, compliant with the Brazilian General Data Protection Law (LGPD) and future automotive safety regs.
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.