29 Sep
2021
29 Sep
'21
6:20 p.m.
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.