1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
#include "main.h" #include "hypervisor.h" #include "setup.h" #ifdef W2_SIM #include "sim.h" #endif #include <unistd.h> int main(int argc, char **argv) { #ifdef W2_SIM w2_sim_setup(argc, argv); #endif w2_setup_main(); for (;;) w2_hypervisor_main(); // satisfy compiler return 0; }