gazagnaire.org
commits
- Add missing .ocamlformat to ocaml-linkedin and ocaml-qemu
- Lowercase test suite names in prune: Cache→cache, Locate→locate,
Module alias parsing, Warning.parse
- Fix space-block suite name: storage→space_block
- Fix space/test_build suite name: initramfs→build
Add READMEs for: ocaml-fdir, ocaml-initramfs, ocaml-jailhouse,
ocaml-linkedin, ocaml-openamp, ocaml-pid1, ocaml-rpmsg, ocaml-sbom,
ocaml-slack, ocaml-vz, ocaml-zephyr, space, space-block, space-ground,
space-net, space-sim, space-test, space-wire.
- config.ml: extract non_empty helper to reduce config_jsont complexity
- platform.ml: extract valid_os_arch from check function
- util.ml: extract matches_local_platform to deduplicate platform matching
- fetch.ml: remove commented-out executor pool code
- attestation.ml: narrow catch-all to specific Failure exception
- space_block.ml: extract write_sectors from write_dp_data
- homebrew.ml: extract stage_file, formula_bottle_urls, formula_head_section,
formula_install_section, line_indent, replace_url_sha, replace_version,
bottle_checksums, ensure_formulas, check_tool, rclone_remote_exists
- cmd_workflow.ml: split generate_workflow into build_job and update_tap_job
Linear-scan param access by ID with generation tracking, recent event
retrieval, and a flat DP catalog in block 0 of the DP area. Replaces
manual slot arithmetic for common operations.
- E005: Split launch_cmd into init_or_open_storage and run_vm helpers
- E330: Rename main_cmd -> cmd to avoid redundant module prefix
- E331: Rename create_file -> init_file to remove redundant prefix
- E332: Rename create -> v for idiomatic OCaml constructor
- E340: Extract err_read/err_write/err_short_read/err_bad_magic/err_dp_range
helpers for consistent error handling
- E500: Add .ocamlformat file
- E600: Restructure tests with test.ml runner and suite export
- ocaml-qemu: add arch/accel/machine/cpu config for macOS/aarch64
(HVF, virt machine, virtio MMIO devices), auto-detect host platform
- space-block: new package wrapping Block.t with SpaceOS storage layout
(superblock, params, events, DP), CLI with init/inspect/launch
- ocaml-pid1: minimal PID 1 for SpaceOS VMs with C stubs for mount(2)
and reboot(2), Eio filesystem I/O, standalone superblock reader
- uniboot: implement Initramfs content building from paths using cpio
- config.ml: extract non_empty helper to reduce config_jsont complexity
- platform.ml: extract valid_os_arch from check function
- util.ml: extract matches_local_platform to deduplicate platform matching
- fetch.ml: remove commented-out executor pool code
- attestation.ml: narrow catch-all to specific Failure exception
- space_block.ml: extract write_sectors from write_dp_data
- homebrew.ml: extract stage_file, formula_bottle_urls, formula_head_section,
formula_install_section, line_indent, replace_url_sha, replace_version,
bottle_checksums, ensure_formulas, check_tool, rclone_remote_exists
- cmd_workflow.ml: split generate_workflow into build_job and update_tap_job
- E005: Split launch_cmd into init_or_open_storage and run_vm helpers
- E330: Rename main_cmd -> cmd to avoid redundant module prefix
- E331: Rename create_file -> init_file to remove redundant prefix
- E332: Rename create -> v for idiomatic OCaml constructor
- E340: Extract err_read/err_write/err_short_read/err_bad_magic/err_dp_range
helpers for consistent error handling
- E500: Add .ocamlformat file
- E600: Restructure tests with test.ml runner and suite export
- ocaml-qemu: add arch/accel/machine/cpu config for macOS/aarch64
(HVF, virt machine, virtio MMIO devices), auto-detect host platform
- space-block: new package wrapping Block.t with SpaceOS storage layout
(superblock, params, events, DP), CLI with init/inspect/launch
- ocaml-pid1: minimal PID 1 for SpaceOS VMs with C stubs for mount(2)
and reboot(2), Eio filesystem I/O, standalone superblock reader
- uniboot: implement Initramfs content building from paths using cpio