Genode OS always pops up on discussions over Qubes OS. So if I understand correctly, Genode is a microkernel-based OS framework... that is, it's a framework to build OSes, it's not an OS... Sculpt OS is an OS built with Genode...
So, how would Sculpt OS compare to QubesOS (which is based on Xen)?