Skip to content
Haven

Changelog

All notable changes are documented here following Keep a Changelog. Versioning follows Semantic Versioning.

[Unreleased]

Planned

  • i.MX95 hardware bring-up and EL2 boot validation.
  • Stage-2 LPAE descriptor programming for ARM64.
  • Budget scheduler timer integration (CNTHP_TVAL_EL2).
  • IRQ denial enforcement on QEMU GICv3.
  • SMMUv3 2-level stream table support.
  • Negative isolation tests for cross-partition memory access.

[0.3.0] - 2026-05-10

Added

  • Astro Starlight documentation portal (website/) with 24 MDX pages: architecture, getting-started, platform guides, thesis traceability, and API reference.
  • Professional README.md with GitHub Actions CI badges, ASCII architecture diagram, and platform comparison table.
  • docs/thesis/README.md - chapter outline, references, and web portal link.
  • Haven “H” monogram SVG logos (logo-light.svg, logo-dark.svg).
  • Custom Haven blue (#2563eb) Starlight theme.

Changed

  • Documentation portal migrated from static site/index.html to Astro Starlight (website/).
  • Vercel CI workflow (vercel.yml) rewritten: patches Vercel project settings via API, then deploys with --prebuilt to bypass stale dashboard overrides.
  • vercel.json updated with rootDirectory: website, framework: astro, outputDirectory: dist.

Fixed

  • Removed hexapod thesis content from thesis/background.mdx.
  • Removed stale site/index.html reference in README.md.
  • Deleted docs/final-hexapod-thesis/ and .gitignore entry.

Removed

  • Static site/ portal folder.

[0.2.0] - 2026-05-09

Added

  • C11 stub implementations for all five core isolation modules: stage2.c, ownership.c, budget.c, smmu.c, el2_exceptions.c.
  • Guest module stubs: uart.c, freertos_integration.c.
  • 7 test binaries: test_core_stubs, test_el2_exceptions, test_freertos_integration, test_guest_uart, test_isolation_flow, test_isolation_negative, test_smmu_dma.
  • build/benchmarks/baseline.json - initial performance baseline.
  • configs/arm64/imx8qm-mek.yaml - secondary validation board config.
  • Physical and virtual platform validation protocols.
  • i.MX95 evidence template and validation runbook.
  • Cross-OS virtualization runbook.
  • verification/coq/ and verification/isabelle/ scaffolding.
  • 6 GitHub Actions workflows: ci.yml, vercel.yml, nightly.yml, benchmark.yml, cross-os.yml, evidence-pack.yml.

[0.1.0] - 2026-05-08

Added

  • Initial repository structure with src/, include/, configs/, tests/, docs/, scripts/.
  • Baseline governance: README.md, CONTRIBUTING.md, SECURITY.md, CODE_OF_CONDUCT.md, CODING_STYLE.md, LICENSE (Apache 2.0).
  • Core public headers: stage2.h, irq_ownership.h, budget_sched.h, smmu.h, el2_exceptions.h, guest_uart.h, freertos_integration.h, types.h.
  • Platform configs: configs/arm64/qemu-virt.yaml, configs/arm64/imx95-devkit.yaml.
  • Architecture docs: overview, isolation model, thesis deep-dive, threat model, assumptions, chapter traceability, evaluation plan.
  • AGENTS.md and .github/copilot-instructions.md - AI agent policy.