seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm: add vgic_dist_set_ctlr()

Open axel-h opened this issue 2 years ago • 0 comments

It seems that adding GICv3 support will be easier if we have a function vgic_dist_set_ctlr() that takes care about the details. This function can be implemented differently for GICv2 and GICv3 then and we can keep GICv3 details private.

axel-h avatar Jul 11 '22 21:07 axel-h