diff options
author | polwex <polwex@sortug.com> | 2025-10-06 10:30:19 +0700 |
---|---|---|
committer | polwex <polwex@sortug.com> | 2025-10-06 10:30:19 +0700 |
commit | 4be1d7f999ffb3eb1c12c54e863b141af21b3fbf (patch) | |
tree | 6e33b141cd98985799e02a253dddcf201fec6b74 /ocaml/bin/overe.ml | |
parent | c3545b7ba9e8448226417fab6edaa2d039c9babe (diff) |
some progress but man
Diffstat (limited to 'ocaml/bin/overe.ml')
-rw-r--r-- | ocaml/bin/overe.ml | 17 |
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 *) |