On 14/05/2015 13:36, Christoffer Dall wrote: > > > > (It's probably worth looking at the documentation in the first hunk too, > > > > under the commit message.) > > > > > > Why is this a hack/unintuitive? Is the semantics of the QEMU PCI bus > > > not simply that MMIO regions are coherent? > > > > Only until device assignment gets into the picture. > > Will UEFI have to deal with device assignment in any respect?
Why not? For example you could do network boot from an assigned network card. In fact, anything that UEFI has to deal with, the OS has to deal with too. If you need a UEFI hack, chances are you need or will need a Linux hack too. Paolo