On Wed, 29 Sept 2021 at 18:10, erickaoakes--- via Devel <devel@sel4.systems> wrote: > > 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? >
That sounds about as painful as parsing the ACPI MCFG table from scratch. Has anyone done this on seL4? -- William Leslie Q: What is your boss's password? A: "Authentication", clearly Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
