libsel4vm: drop struct vgic_dist_device #69

Open

axel-h wants to merge 9 commits intoseL4:masterfrom

Hensoldt-Cyber:patch-axel-17

Commits on Jul 14, 2022

libsel4vm: add vgic_dist_set_ctlr()
Axel Heider
committed
libsel4vm: add gic_dist_is_enabled()
Axel Heider
committed

Commits on Jul 15, 2022

libsel4vm: simplify fault parameters
Axel Heider
committed
Merge 'patch-axel-20'
Axel Heider
committed
libsel4vm: stricter type handling
Axel Heider
committed
Merge 'patch-axel-22'
Axel Heider
committed
libsel4vm: pass vgic as parameter
Axel Heider
committed
libsel4vm: store vgic context in vm
Axel Heider
committed
libsel4vm: drop struct vgic_dist_device
Axel Heider
committed