Add option to format ramdisks in Reboot()

2025-06-07 00:04:48 +00:00 · 2020-02-16 03:56:39 -06:00 · 2020-02-16 03:56:39 -06:00 · e81fef25c4
commit e81fef25c4
parent 83dd0214b1
7 changed files with 13 additions and 7 deletions
--- a/src/0000Boot/0000Kernel.BIN.C
+++ b/src/0000Boot/0000Kernel.BIN.C
--- a/src/Compiler/Compiler.BIN
+++ b/src/Compiler/Compiler.BIN
--- a/src/Kernel.BIN.C
+++ b/src/Kernel.BIN.C
--- a/src/Kernel/KMain.CC
+++ b/src/Kernel/KMain.CC
@ -130,8 +130,15 @@ U0 TimersInit()
  }
 }

-U0 Reboot()
+U0 Reboot(Bool format_ramdisks=FALSE)
 {//Hardware reset.
+  if (format_ramdisks)
+  {
+    if (DriveIsWritable('A'))
+      Format('A',,FALSE,FSt_REDSEA);
+    if (DriveIsWritable('B'))
+      Format('B',,FALSE,FSt_REDSEA);
+  }
  CLI
  if (mp_count>1)
    MPHalt;
--- a/src/Kernel/Kernel.MAP
+++ b/src/Kernel/Kernel.MAP
--- a/src/Kernel/KernelC.HH
+++ b/src/Kernel/KernelC.HH
@ -11,7 +11,7 @@ public extern U8 *rev_bits_table,*set_bits_table;

 #help_index "Boot"
 #help_file "::/Doc/Boot"
-public extern U0 Reboot();
+public extern U0 Reboot(Bool format_ramdisks=FALSE);

 #help_index "Call"
 public argpop extern I64 CallStackGrow(I64 stack_size_threshold,I64 stack_size,
--- a/src/Tmp/MyDistro.iso
+++ b/src/Tmp/MyDistro.iso