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