move some upstream materials from brianweb.net to nestedvm.org

[nestedvm.git] / src / tests / Hello.c

#include <stdio.h>

int main() {
    puts("Hello, World");
    return 0;
}