Skip to content

fix(dts): reserve gcpt memory in FPGA templates#21

Merged
poemonsense merged 1 commit into
mainfrom
dts-gcpt-reserved-space
Jun 1, 2026
Merged

fix(dts): reserve gcpt memory in FPGA templates#21
poemonsense merged 1 commit into
mainfrom
dts-gcpt-reserved-space

Conversation

@rezado
Copy link
Copy Markdown
Contributor

@rezado rezado commented Jun 1, 2026

Summary

  • Reserve 1 MiB at 0x80000000 in XiangShan FPGA DTS templates for the gcpt checkpoint buffer.
  • Add reserved-memory nodes with no-map so Linux does not allocate or map the gcpt buffer.
  • Document the gcpt DTS reservation requirement in the Linux workloads README.

Add reserved-memory nodes to XiangShan FPGA DTS templates so Linux leaves the gcpt checkpoint buffer unused.

Document the gcpt reservation requirement in the Linux workloads image layout section.
@poemonsense poemonsense merged commit aba5f2f into main Jun 1, 2026
2 checks passed
@poemonsense poemonsense deleted the dts-gcpt-reserved-space branch June 1, 2026 07:57
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.

2 participants