[seL4] Re: ethernet pass-through using CAmkES VM on x86

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