vmmplatsupport: support hpet emulation

seL4 / seL4_projects_libs

Other

19 stars 36 forks source link

Closed chrisguikema closed 7 months ago

chrisguikema commented 10 months ago

Real-time Linux kernels often don't work when using the PIT. This commit adds support for emulating the HPET.

chrisguikema commented 10 months ago

Can this be merged?