| #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; | |
| } |