#include vm_t sys_conf(vm_t param, vm_t val, vm_t u0, vm_t u1) { UNUSED(u0); UNUSED(u1); /* no parameters supported atm */ return 0; } vm_t sys_poweroff(vm_t type, vm_t u0, vm_t u1, vm_t u2) { UNUSED(u0); UNUSED(u1); UNUSED(u2); /* powering off not supported yet, you're stuck here >:D */ return 0; }