Hi Kent, > Unfortunately setting up passthrough devices on x86 for camkes-vm apps > is pretty painful.
It appears that your answer is specific to QEMU x64? Is setting up passthrough devices on x64 bare metal similarly painful? Regards, Ericka _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
