Skip to content
Commit 0dda33bb authored by Alexandru Elisei's avatar Alexandru Elisei
Browse files

HACK! arm64: Read GICR_TYPER for VCPU 0 and VCPU n-1

parent 90b2d3ad
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment