Spike appears to have a problem geterating DTS at 0x80000000.
{
/* Leave some space for pk's data structures, which includes tohost/fromhost
* which are special addresses we ought to leave alone. */
{
/* Leave some space for pk's data structures, which includes tohost/fromhost
* which are special addresses we ought to leave alone. */
if timeout:
cmd = ["timeout", str(timeout)] + cmd
if timeout:
cmd = ["timeout", str(timeout)] + cmd
+ cmd += ["-m0x10000000:0x10000000"]
+
if halted:
cmd.append('-H')
if with_jtag_gdb:
if halted:
cmd.append('-H')
if with_jtag_gdb: