Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

aarch64: check if page is writeable for DC IVAC #1041

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

kent-mcleod
Copy link
Member

When performing data cache invalidate by virtual address, the mapping must have write permissions otherwise a fault will be generated. When the kernel performs this operation during cache maintenance invocations it must first check that the mapping has write rights in the decode phase of the operation.

This is a suggested starting point of a fix for #214

kent-mcleod and others added 2 commits May 23, 2023 18:45
When performing data cache invalidate by virtual address, the mapping
must have write permissions otherwise a fault will be generated. When
the kernel performs this operation during cache maintenance invocations
it must first check that the mapping has write rights in the decode
phase of the operation.

Signed-off-by: Kent McLeod <kent@kry10.com>
@kent-mcleod kent-mcleod added hw-build do all sel4test hardware builds on this PR hw-test sel4test hardware builds + runs for this PR labels May 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hw-build do all sel4test hardware builds on this PR hw-test sel4test hardware builds + runs for this PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant