Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
garmaine
on June 10, 2020
|
parent
|
context
|
favorite
| on:
SeL4 is verified on RISC-V
There's no controversy in that linked section of the Wikipedia article. It seems to assume the patent was valid. The only controversy is over whether free and fair licenses were available as they promised the standards body..
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: