seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm, vgic: generate dist and cpu values

Open chrisguikema opened this issue 2 years ago • 9 comments

This commit adds an "fdt_ori" and "gic_node" parameter to the vm struct, which allows the library to find the GIC_DIST and GIC_CPU register addresses required for emulating the vgic.

chrisguikema avatar Oct 27 '22 02:10 chrisguikema