Hacker News new | past | comments | ask | show | jobs | submit login

I still don't understand why Sel4 wasn't chosen for the microkernel for Fuchsia, why they chose to use their self-developed Zircon instead.



They didn't start from scratch, Zircon is based on lk which they already used in Android.


Say what now?

[Digging]

https://github.com/littlekernel/lk/wiki/Introduction:

> LK is the Android bootloader and is also used in Android Trusted Execution Environment - "Trusty TEE" Operating System.

> Newer Android phones have some chance of LK running all the time alongside Linux.

TIL!


I think seL4 didn't yet have multicore support when zircon was forked from LK, could be wrong.


Thanks. That seems reasonable.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: