Cool stuff. I think their Xen and Ivory work will probably have highest odds of benefiting people. All kinds of people doing stuff like Arduino and Raspberry Pi that it could be applied to. Either immediately or with a port.