Hacker News Reader

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]

> 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.