summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
cfa5b6d)
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: