libvirt header is fixed to 2*4096, fix it later
Merge branch 'dev' of https://github.com/cmusatyalab/elijah-cloudlet into dev
resume base vm is working
clear up directory structure for cloudlet discovery API
synthesis code has changed to use named pipe instead of pipe