blob: 4308954142591d67f8d8966576ef43b488f2bd9b [file] [log] [blame]
#include <stdio.h>
#include <unistd.h>
#include <vm_main.h>
#include <vm_payload.h>
extern "C" int AVmPayload_main() {
// disable buffering to communicate seamlessly
setvbuf(stdin, nullptr, _IONBF, 0);
setvbuf(stdout, nullptr, _IONBF, 0);
setvbuf(stderr, nullptr, _IONBF, 0);
printf("Hello Microdroid\n");
AVmPayload_notifyPayloadReady();
// Wait forever to allow developer to interact with Microdroid shell
for (;;) {
pause();
}
return 0;
}