4 ms·
Always made me curious why Google didn't decide to use seL4 as a base for Fuchsia and instead went with Zircon...
by martin1975 8y ago
Always made me curious why Google didn't decide to use seL4 as a base for Fuchsia and instead went with Zircon...
- casual_slacker 8y agoThere might be license issues between AGPLv3 of GenodeOS and the Apache 2.0 or GPLv2 that Android components use.
- renox 8y ago? I know that this is a GenodeOS topic, but the GP wondered about seL4 which has some parts in GPLv2 and other BSD (2-clause). IMHO the reason that few use seL4 is that it isn't ready: AFAIK seL4 isn't able to use efficiently multiple core with power savings, which is mandatory for usage in phones (and phones can use complex CPU with big and little cores).
- petecox 8y agosynergy - Android's bootloader (fastboot mode, etc) uses LK, of which Zircon is a fork.