Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
0cf8612b2e1e
11 months ago
|
parent
|
context
|
favorite
| on:
Fuchsia F14
I also want to know why they did not start with seL4 as the base. A Proven micro kernel foundation with real resources to provide all the missing user space pieces would be a huge win for the industry.
lugu
11 months ago
[–]
They probably started with LK because it had all the drivers from Qualcomm.
https://fuchsia.dev/fuchsia-src/concepts/kernel/zx_and_lk
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: