Open Kernel Labs, Inc.
CHICAGO, IL · Founded 2006 · CIK 0001494556 · Cybersecurity · Acquired
seL4 microkernel and formal verification tools for embedded systems security
openkernel.io →- Grants
- —
- No SBIR or STTR on record
- Sector median: 0
- Raised
- $4.5M
- 4 Form D · Jul 2012
- 171 months since last filing
- Contracts
- —
- No federal contracts on record
- Patents
- 2
- 0 granted · 2 pending
- Sector median: 0
Capital Timeline
Federal ↑Equity ↓201020112012
| Date | Event | Source | Amount |
|---|---|---|---|
| Private capital raised | Form D · SEC | $3,500,000 | |
| Private capital raised | Form D · SEC | $205,430 | |
| Private capital raised | Form D · SEC | $446,310 | |
| Private capital raised | Form D · SEC | $362,583 |
Form D · SEC
Peer position
| # | Company | Contracts | Disclosed equity |
|---|---|---|---|
| 105 | Asignio, Inc. | — | $175K |
| 106 | Primary Care Partners, LLC | — | $114K |
| 107 | ZIGNAL LABS, INC. | — | $9.6M |
| 108 | Open Kernel Labs, Inc. | — | $4.5M |
| 109 | AVISTAR COMMUNICATIONS CORP | — | $3.0M |
| 110 | Castle Hill Holding LLC | — | $11M |
| 111 | Reva Systems Corp | — | $5.0M |
Ranked on federal contract value rather than capital raised. The equity column is the comparison worth making — companies at the same procurement position often sit at very different points in their funding history.
Founders & Team
- Dennis BaerExecutive Officer
- Atish GudeDirector
- Gernot HeiserDirector
- Karry KleemanExecutive Officer
- Marti KonstantExecutive Officer
- Robert McCammonExecutive Officer
- Carl NerupExecutive Officer
- Steve SubarExecutive Officer
- Steven SubarDirector · Executive Officer
- John WillmothDirector
- John WilmothDirector
- Marc WoodwardDirector
Patents
- Methods And Apparatus For Constructing A Secure And Flexible Operating Systemapplication
- Methods And Apparatus For Producing Cross-platform Software Applicationsapplication