From 4be1d7f999ffb3eb1c12c54e863b141af21b3fbf Mon Sep 17 00:00:00 2001 From: polwex Date: Mon, 6 Oct 2025 10:30:19 +0700 Subject: some progress but man --- ocaml/bin/overe.ml | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) (limited to 'ocaml/bin') 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 *) -- cgit v1.2.3