Axel Heider

Turns out we can also remove the convenience wrapper `DeclareCAmkESVMRootServer()` then, as this is no longer used. My long term suggestion would be deprecating and removing this also to get...

> Also, shouldn't you get rid of hard coded value at camkes-vm/components/VM_Arm/vm_common.camkes Yes, seems this can also be removed then.

This produces some strange errors with x86 at the moment because of the dependency on https://github.com/seL4/camkes-vm-examples/pull/31, which needs to be rebased to things work again.

The quicker fix mit be changing `set timeout 3000` to `set timeout 300` as 5 mins should be sufficient also for the minimal VM scenario.

Seems `vm_minimal_sim` is explicitly excluded in the hw builds at the moment, see https://github.com/seL4/camkes-vm/actions/runs/4715496818/jobs/8362557510?pr=87, this should remain disabled then, because QEMU simulation runs should be a separate step. ``` Successful...

What is you plan about this one? With https://github.com/seL4/camkes-vm/pull/73 I have another use case where `fdt_ori`in the vm contenxt would be nice, there it's not another global variable flying around.

Please add the DCO.

The CI build is failing with include errors, but I wonder if this is related the the change here or a general probelm?

@Apave24 could you do a rebase, so we get another CI run here?

> I'm working on generalizing that cross-VM connector. My intention is to support mapping as RAM and providing MMIO-style interface in addition to that PCI interface. So perhaps `crossvm.c` should...