seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Updated: GICv3 emulation

Open kent-mcleod opened this issue 2 years ago • 7 comments

This PR adds an emulated GIC500 (GICv3) to libsel4vmm as a virtual device.

This branch is based off of an earlier PR, https://github.com/seL4/seL4_projects_libs/pull/8, by @pingerino which already included commits pulled together from a couple authors. This has been tested with the imx8mm-evk platform to run a Linux guest VM with several pass-through peripherals.

Marking the PR as a draft for now, as some minor cleanup is still needed.

Some imx8mm changes: https://github.com/kent-mcleod/seL4_projects_libs/commit/bd4b06c11895cd4111d1d448e307d198d6260468

kent-mcleod avatar Jun 16 '22 13:06 kent-mcleod