Puck reboot()

What about load()? As I said that seems to do what you want.

If you really care about a full hardware reboot you can always just poke the relevant ARM registers - but for most people reset() and load() should work fine - the only time you should need a hardware reboot is if something hideous has gone wrong, in which case the interpreter may not be responding anyway