summaryrefslogtreecommitdiff
path: root/ocaml/bin
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-10-06 10:30:19 +0700
committerpolwex <polwex@sortug.com>2025-10-06 10:30:19 +0700
commit4be1d7f999ffb3eb1c12c54e863b141af21b3fbf (patch)
tree6e33b141cd98985799e02a253dddcf201fec6b74 /ocaml/bin
parentc3545b7ba9e8448226417fab6edaa2d039c9babe (diff)
some progress but man
Diffstat (limited to 'ocaml/bin')
-rw-r--r--ocaml/bin/overe.ml17
1 files changed, 12 insertions, 5 deletions
diff --git a/ocaml/bin/overe.ml b/ocaml/bin/overe.ml
index cc75ca4..471a141 100644
--- a/ocaml/bin/overe.ml
+++ b/ocaml/bin/overe.ml
@@ -39,11 +39,18 @@ let run_with_drivers ~env config =
| Ok eve ->
Printf.printf "✓ Loaded snapshot at event %Ld\n%!" eve
| Error _msg ->
- Printf.printf "⚠ No snapshot found, booting fresh kernel...\n%!";
- (* Boot with fake pill for now *)
- match Boot.boot_fake runtime.state with
- | Ok () -> Printf.printf "✓ Kernel booted\n%!"
- | Error msg -> Printf.printf "✗ Boot failed: %s\n%!" msg
+ Printf.printf "⚠ No snapshot found, booting from pill...\n%!";
+ (* Boot from ivory pill (minimal kernel - fast to load!) *)
+ let pill_path = "ivory.pill" in
+ Printf.printf "Loading pill: %s\n%!" pill_path;
+ match Boot.boot_from_file ~fs runtime.state pill_path with
+ | Ok () -> Printf.printf "✓ Arvo kernel loaded from pill!\n%!"
+ | Error msg ->
+ Printf.printf "✗ Pill load failed: %s\n%!" msg;
+ Printf.printf "Falling back to fake kernel...\n%!";
+ match Boot.boot_fake runtime.state with
+ | Ok () -> Printf.printf "✓ Fake kernel booted\n%!"
+ | Error msg2 -> Printf.printf "✗ Boot failed: %s\n%!" msg2
);
(* Replay events from log *)