> I'm surprised that removing the device from the VM didn't seem to have an > adverse effect on its operation.
The default configuration for the camkes-arm-vm VM component is to respond to guest faults on hardware device regions that aren't passed through by mapping in a page of memory so that the guest just gets to read back what they wrote. So often removing a device can still lead to the guest being able to continue running. It's helpful to mark the devices as disabled in the device tree that the guest sees to prevent Linux from trying to initialize the driver too, but sometimes this isn't possible if the device is a platform driver with too many other dependencies. Kent. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
