Technology
Most embedded products ship on a chip vendor's board support package: often a forked kernel that is rarely upstreamed or independently audited, and is frozen on an old release. We replace as much of it as we can with software we build, audit and maintain ourselves, using AI agents directed by our engineers.
AI agents write most of the board support package, and the hardware judges the result: changes are tested on physical boards in our lab, with remote power, serial consoles and scripted boot.
Vendor firmware and binaries are inspected rather than trusted, and findings are recorded as evidence, not asserted.
One engine targets the board's CPUs, DSPs and NPUs without the chip vendor's AI SDK.
Research: gaema, our research arm, works on machine-learning systems, models and tools. gaema.ai →
Firmware audited, not trusted, on hardware you can deploy.
Devices across industry and infrastructure run firmware few people outside the chip vendor have read. We replace it with open software where we can, inspect and document what remains, and maintain it on mainline-based Linux for the life of the product. Next, we plan to assemble our own reference and production boards in the United States, so American customers can go from prototype to deployed units on domestic assembly.