Kernel
Developer Tools · Software Testing & QA
Funding and backers
Total raised
$22M
1 round on record
Latest round
$22M
Series A · Oct 2025 · 12 mo ago
The money's age
Due for its next round
12 months since the last round · not hiring
Momentum
30/100
in the news, rising traction
Last sign of life
2 mo ago
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Oct 17, 2025
Raised a round Series A $22M · led by Accel · Ohio Tech News
Jul 2023
Website went live first capture in the Wayback Machine
Tractionpublic signals, read monthly
Web presence
top 53%
of 133.2M domains by links, Common Crawl
Funding rounds
| Round | Date | Amount | Investors | Source |
|---|---|---|---|---|
| Series A | Oct 2025 | $22M | Accel lead, Cintrifuse Capital lead, Y Combinator lead | Ohio Tech News |
Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Formal verification and AI — research and engineering from Theorem.
ReJot explores distributed systems, databases, and programming languages.
Antithesis is an autonomous software testing company headquartered in Tysons, Virginia, and founded in 2018 by the team behind…
Build, develop, test, and understand mobile applications with cloud compute, live devices, agent-driven verification, and Atlas runtime…
About QualGent The Verification Layer for the AI Era Software is entering a new phase.AI now writes code. AI refactors systems.
Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. the algorithms you create…
Financials
Total raised
$22M
Latest round
Series A
Funding rounds
1
Funding rounds
| Round | Announced | Amount | |
|---|---|---|---|
| Series A | 2025 | $22M | Details |
News
The kernel does not care what you named the tool AgentGuard
AgentGuard: eBPF LSM for coding agents. YAML in the repo. Deny is EPERM. Policy that remains true when the agent's own conscience is false.
Read more
Report
Jachash (@jachashx) on X
The 40-year-old iOS kernel bug I discovered on the DEFCON 34 main stage.My demo crashed on stage, and after investigating I traced it to a mistyped ++ that goes back to 1985.Can you spot the bug?Full post:https://t.co/e3vuomAJ8r
Read more
Report
How can you not be romantic about UNIX domain sockets?
A 40-year-old kernel bug discovered on the DEFCON 34 main stage.
Read more
Report
Achieving Extreme Efficiency through Specialized GPU Kernel Generation Databricks Blog
Learn how we built an agentic system that automates the generation and rigorous validation of specialized GPU kernels to achieve extreme inference efficiency.
Read more
Report
How to bring up the Linux Kernel on a new platform
A guide to bringing up the Linux Kernel and a userspace application on a new hardware (or in this case, a self-made emulator)
Read more
Report
Show more news