#include"pk.h"#include"vm.h"voidrun_loaded_program(struct mainvars* args){if(!current.is_supervisor)panic("bbl can't run user binaries; try using pk instead");supervisor_vm_init();#ifdef PK_ENABLE_LOGOprint_logo();#endifwrite_csr(mepc, current.entry);asmvolatile("eret");__builtin_unreachable();}