A pile of goo to support a minimal secure boot demo
virtualbox_ovf.sh: use virtio network interfaces
Merge pull request #352 from mboersma/use-vagrant-virtio

virtualbox_ovf.sh: use virtio network interfaces
Merge pull request #351 from marineam/secure

A pile of goo to support a minimal secure boot demo