In addition to what alex posted, the new package system along with the build system means that you can build a custom OS based on Genode in under under an hour (my fastest build takes 5ish minutes). The core/base kernels are also packages in Genode, which means you just "shop" for everything you want: a base kernel, services, packages, libs, etc.

It's not perfect and it could use slightly better tooling (which will come once everyone is convinced the design is completely correct), but it's the best system for an OS I've seen to date.

Even though I would also like something like this I understand they do have their reasons for not doing so. AFAIU they are of the opinion that a livedisk would misrepresent the capabilities of the system.