Axel Heider
Axel Heider
Now that we have separate build and HW-test steps, it might make sense to avoid running the QEMU simulation as part of the build for `vm_minimal_sim`, and have a dedicated...
Test with: https://github.com/axel-h/camkes-vm-examples/pull/9 waiting for a rebase of: https://github.com/seL4/camkes-vm-examples/pull/31
Is there really a reason to list all the platform here also? The general goal should be that thzis works everywhere where we have VmPCISupport, right?
Test with: https://github.com/axel-h/camkes-vm-examples/pull/8 Is there a reason why `init_ram.c` exists as a module. To me this seems overly complicated in the current implementation and I do not really understand the...
This PR is on top of https://github.com/seL4/camkes-vm/pull/73 and uses the DTB generation refactoring to move the vpci support imto a dedicate module.
Adds the priorities to the vm config struct from the template. Is also makes `VM_INIT_DEF` use 100 as default base priority, so there is no need to explicitly specify anything....
Many platform use the same peripherals, so code duplication can be avoided if we provide generic drivers.
This is a copy/paste update form v1.7.0 of https://github.com/dgibson/dtc, which is the actual upstream repo. The Linux sources also take the files from there, so there seems not much point...
https://github.com/seL4/util_libs/pull/117 brings support for the Quartz64 board. It Seems the RK3566 is very similar to the RK3399 used on the Rockpro64 board, so the the driver code should be unified...
Follow-up from https://github.com/seL4/util_libs/pull/112/files/b6a47d9d0b656ef77601ea9d005a26409c887a8c#r766004484 We had to include this header file here to address a nasty include problem and make these prototypes available to other C files in our driver: ```...