Test 64-bit addressing.

The spike64 target now links all test programs at 0x7fff_ffff_ffff_0000.

Also a minor change to log file naming so that 'make all' works again.
I'll fix this better later.

2 files changed, 4 insertions, 9 deletions

diff --git a/debug/programs/infinite_loop b/debug/programs/infinite_loop
deleted file mode 100755
index 0cf68cb..0000000
--- a/debug/programs/infinite_loop
+++ /dev/null
diff --git a/debug/programs/infinite_loop.c b/debug/programs/infinite_loop.c
index 460f78a..350d1de 100644
--- a/debug/programs/infinite_loop.c
+++ b/debug/programs/infinite_loop.c
@@ -1,14 +1,9 @@
-#include <stdio.h>
-#include <string.h>
-#include <stdint.h>
-#include <stdlib.h>
-
+volatile int forever = 1;
 
 int main()
 {
+    while (forever)
+        ;
 
-  volatile int forever = 1;
-  while (forever);
-
-  return 1;
+    return 1;
 }