search

seL4 / camkes-vm

Virtual Machine built as a CAmkES component.
Other
23 stars 35 forks source link

vm_arm: provide GIC and timer to VM on zynqmp #102

Closed axel-h closed 9 months ago

axel-h commented 1 year ago

This is basically what we did in https://github.com/seL4/camkes-vm/pull/94 also, if we do not provide these peripherals, some basic use cases do not work. So it seem best to always provide them here.

chrisguikema commented 9 months ago

@axel-h can you fix the typo in the commit message? Beyond that, this is good to merge.

axel-h commented 9 months ago

@axel-h can you fix the typo in the commit message? Beyond that, this is good to merge.

Sure, and I really appreciate you saw this!

axel-h commented 9 months ago

typo fixed