seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm: fix GIC_DIST_CTLR enable handling

Open axel-h opened this issue 1 year ago • 0 comments

We have seen that some VMs try to write 0x03 instead of 0x01. Support this case more gracefully and ensure that the GIC_DIST_CTLR_EN_GRP1 setting properly applied.

  • check the bit an not the value
  • ignore GIC_DIST_CTLR_EN_GRP1 and print a warning
  • print the value if unknown bits are set

axel-h avatar Jun 02 '23 16:06 axel-h