5 ms·
There was another group inside Google that shipped something based on Genode. The most valuable thing for the community to extract from projects like these wou
by alphazard 4y ago
There was another group inside Google that shipped something based on Genode.
The most valuable thing for the community to extract from projects like these would be capability based drivers, ideally on top of seL4.
The choice to not use seL4 as a base for Fuchsia is also confusing. It lends credence to the idea that Fuchsia is a project to retain engineers, rather than to build a solid OS. I think it would be possible for a team like the Fuchsia team to build a better platform than Genode, but starting from scratch without seL4 is unlikely to produce anything better. They definitely didn't come up with a better security model, or IPC performance.
- mikewarot 4y agoThe idea of capabilities is so foundational, and yet so obscure, on my darker days it seems like there's an active conspiracy to keep it out of general awareness.
- alphazard 4y agoWe are left with the ideas that were popular when UNIX rose to prominence. We are still in an "operating systems" winter. The tough thing about getting out of a winter is that taste, an understanding of what is good and bad, has been lost because it was never transferred to the next generation. The next generation of system designers will have to (unfortunately) rediscover and rebuild a sense of good taste so that in practice engineers can accurately identify ideas (e.g. capabilities) as good ideas, worth implementing, when other more popular well trodden ideas (e.g. ACL, RBAC) are also on the table.