3 ms·
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 pie
by 0cf8612b2e1e 3y ago
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 3y agoThey probably started with LK because it had all the drivers from Qualcomm. https://fuchsia.dev/fuchsia-src/concepts/kernel/zx_and_lk https://fuchsia.dev/fuchsia-src/concepts/kernel/zx_and_lk