The above getps(XS1_PS_BOOT_CONFIG) yields 0x8001011e both when debug and flashed. So boot_from_jtag doesn't work.
I haven't found any documentation on the registers. Where is it? https://www.xmos.com/download/private/Assembly-Programming-Manual%28X9432A%29.pdf
I get the myExceptionHandler to run ok but I haven't figured out how to restart the processor. I have
on tile: installExceptionHandler(); // Works only per tile. Don't know how to place one per tile, since
on tile.core: installExceptionHandler(); // error: statement placed on a core must be call to combinable function
In other words, rather confused!