OpenRISC virtual machine