Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
jdub
on July 27, 2016
|
parent
|
context
|
favorite
| on:
Verifying ARM processors against the official ARM ...
The copyright of seL4 was not given (or licensed) to OK Labs AFAIK. It's currently owned by General Dynamics, and OK Labs no longer exists.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
