Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
jacobolus
on April 12, 2014
|
parent
|
context
|
favorite
| on:
From L3 to seL4: What Have We Learnt in 20 Years o...
The OOTB/Mill people are apparently working on porting L4/Linux to their architecture:
http://millcomputing.com/topic/security/#post-802
Their machine-supported security features will be very interesting to see realized.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Their machine-supported security features will be very interesting to see realized.