search

seL4 / camkes-vm

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

Odroid-C2: Fix GIC DTB path and provide GIC to VM by default #94

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Odroid-C2:

To run the example on Odroid-C2, the GIC is needed. This basically does what is done on the other platform also. If we have use cases where the GIC should explicitly not be provided, then we should make this a config setting in the VMM.

axel-h commented 1 year ago

Can we merge this? Seems the device tree has change some time in the past. We can't get things working without this change.