NaCl/PNaCl OpenRISC 1000 Emulator