Skip to content

feat(Isla): Support virtual page-table symbols - #200

Closed
febyeji wants to merge 1 commit into
mainfrom
feature/pgt-dsl-virtual
Closed

feat(Isla): Support virtual page-table symbols#200
febyeji wants to merge 1 commit into
mainfrom
feature/pgt-dsl-virtual

Conversation

@febyeji

@febyeji febyeji commented Jul 4, 2026

Copy link
Copy Markdown
Collaborator
  • Parse virtual declarations in page_table_setup.
  • Include declared virtual names in Isla assembly symbols.
  • Cover virtual declarations in STR+32 VM fixture.

This PR is part of a stack containing 7 PRs:

  1. main
  2. "feat(Isla): Support virtual page-table symbols" (this PR)
  3. feat(Isla): Support page-table symbol alignment #183
  4. feat(Isla): Support named page-table roots #194
  5. feat(Isla): Accept default page-table option #195
  6. feat(Isla): Support page-table descriptor fields #196
  7. feat(Isla): Support page-table references #197
  8. feat(Isla): Support TTBR page-table helper #198

- Parse virtual declarations in page_table_setup.
- Include declared virtual names in Isla assembly symbols.
- Cover virtual declarations in STR+32 VM fixture.
@febyeji

febyeji commented Jul 4, 2026

Copy link
Copy Markdown
Collaborator Author

Closing as a duplicate: this exact branch and commit were already merged in #186. The remaining pgt-dsl stack now starts at #183 on main.

@febyeji febyeji closed this Jul 4, 2026
@febyeji
febyeji deleted the feature/pgt-dsl-virtual branch July 5, 2026 13:46
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