seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm: drop struct vgic_dist_device

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

Drop struct vgic_dist_device and store data in struct vgic.

This is on top of https://github.com/seL4/seL4_projects_libs/pull/70 and part of a branch that adds GICv3 support with https://github.com/Hensoldt-Cyber/seL4_projects_libs/pull/1

axel-h avatar Jul 10 '22 22:07 axel-h