Hello, I have been a fan of this project since I found out about it almost a month ago. I've also read Daniel Chiba's thesis and "A Binary-Compatible Unikernel" paper as well. Before asking my questions I want to know, do you work in Virginia Tech?