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..
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: