Skip to content

docs(roms): Deduplicate Inline ROMs section#131

Open
JeromeJaggi wants to merge 1 commit into
prod-stagingfrom
jeromejaggi/docs-roms-dedup
Open

docs(roms): Deduplicate Inline ROMs section#131
JeromeJaggi wants to merge 1 commit into
prod-stagingfrom
jeromejaggi/docs-roms-dedup

Conversation

@JeromeJaggi

Copy link
Copy Markdown
Member

Summary

`pages/features/roms.mdx` had two "Inline ROMs" sections covering the same ground:

  • The structured one (lines 376–461) with three subsections: API format, Combining with image-based ROMs, Limits.
  • A second, shorter restatement (lines 488–525) that duplicated most of the API format content but added one unique note: that an inline ROM is ephemeral and deleted when the last reference closes.

This PR keeps the structured version and removes the second restatement. The unique ephemerality note is folded into the Limits subsection of the kept version so no information is lost.

Net change: -33 lines (39 removed, 6 added).

Verification

  • Only one `## Inline ROMs` section remains in the file.
  • `make lint` reports 0 errors / 0 warnings on the file.
  • Branched from latest `prod-staging`.

Audit reference

Item #2 (Inline ROMs duplication) from the v0.9 docs audit.


This PR was created by an AI agent.

The page had two Inline ROMs sections covering the same ground.
Keep the structured one (with API format, Combining, Limits
subsections) and remove the second restatement. Move the unique
'ephemeral, deleted on last reference close' note into the Limits
subsection of the kept version.

Signed-off-by: Jerome Jaggi <jerome@unikraft.io>
@JeromeJaggi JeromeJaggi temporarily deployed to pull-requests April 30, 2026 08:39 — with GitHub Actions Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant