run time modified can't be const

Author: lurk101

cc/cc.c

@@ -4457,8 +4457,9 @@ int cc(int mode, int argc, char** argv) {
             fd = NULL;
             if (fs_setattr(full_path(ofn), 1, "exe", 4) < LFS_ERR_OK)
                 fatal("unable to set executable attribute");
-            printf("\ntext size   %06x\ndata size   %06x\nentry point %06x\nreloc count %06x\n",
-                   exe.tsize, ds, exe.entry - (int)text_base, exe.nreloc);
+            printf(
+                "\ntext size   0x%04x\ndata size   0x%04x\nentry point 0x%04x\nreloc count %6d\n",
+                exe.tsize, ds, exe.entry - (int)text_base, exe.nreloc);
             goto done;
         }
         if (src_opt)

main.c

@@ -11,9 +11,6 @@
 #include <stdarg.h>
 #include <stdio.h>
 
-#include "hardware/structs/scb.h"
-#include "hardware/watchdog.h"
-
 #include "pico/bootrom.h"
 #include "pico/stdio.h"
 #include "pico/stdlib.h"
@@ -762,13 +759,16 @@ static void vi_cmd(void) {
     vi(argc - 1, argv + 1);
 }
 
+#define AIRCR (*((volatile uint32_t*)(PPB_BASE + 0x0ED0C)))
+
 static void reboot_cmd(void) {
     // release any resources we were using
     if (mounted) {
         savehist();
         fs_unmount();
     }
-    watchdog_reboot(0, 0, 1);
+    sleep_ms(500);
+    AIRCR = 0x5FA0004;
     for (;;)
         ;
 }
@@ -950,9 +950,10 @@ static void Fault_Handler(void) {
     for (;;)
         ;
 #endif
-    watchdog_reboot(0, 0, 3000);
+    sleep_ms(3000);
+    AIRCR = 0x5FA0004;
     for (;;)
-        __wfi();
+        ;
 }
 
 static bool run_as_cmd(const char* dir) {