Skip to content

feat(kernel,hal): harden aarch64 EL0 smoke transition - #148

Merged
kernalix7 merged 1 commit into
mainfrom
feature/aarch64-el0-hardening
Aug 4, 2026
Merged

feat(kernel,hal): harden aarch64 EL0 smoke transition#148
kernalix7 merged 1 commit into
mainfrom
feature/aarch64-el0-hardening

Conversation

@kernalix7

Copy link
Copy Markdown
Owner

Summary

  • replace the 1 GiB EL0 RWX alias with dedicated 4 KiB RX code and RW/NX stack mappings
  • add a guard page, stack-canary check, and two-SVC EL0 round-trip proof
  • fail-stop unexpected lower-EL exceptions and scrub integer/SIMD state before privilege drop

Verification

@kernalix7
kernalix7 merged commit 9006f10 into main Aug 4, 2026
2 checks passed
@kernalix7
kernalix7 deleted the feature/aarch64-el0-hardening branch August 4, 2026 07:24
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