yoogx/ocarina — pull request #14 by phipse (2014-05-15 15:05:11+00:00)
Title: New POK BSP x86_qemu_vmm and new additional feature x86_vmm

The change to deployment.adb could be done better, but with my little ADA knowledge, I chose the save way to integrate the change.