Hi, I intend to add another Linux on Raspberry Pi4. So, I added also a memory region on rpi4.c and extended the size of mem_regions by, and managed to get working. I added a pci device, and extended the array by one, and the pci device is added, but without kernel driver in use? So, how to add the driver to it?
-- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/e630d89c-45ab-40c1-ab9e-222fbbe26f30n%40googlegroups.com.
