On 09/22/15 11:02, Paolo Bonzini wrote: > > > On 16/09/2015 04:57, Laszlo Ersek wrote: >> (OvmfPkg's copy of SataControllerDxe must differ from the same in DuetPkg >> because Duet inherits a pre-configured SATA controller from the BIOS, as >> explained by Feng.) > > It's not true that it _must_ differ. Duet _may_ avoid setting the bits > because it's using the pre-configured SATA controller, but it also _may_ > set them.
Thanks for pointing out that distinction. I'll update the commit message. Laszlo > Definitely both Windows and Linux set the bits on their own, for example. > > In fact if the BIOS doesn't have an AHCI driver (you can try with > SeaBIOS) Duet would need exactly the same patches 5 and 6. > > Paolo > _______________________________________________ edk2-devel mailing list [email protected] https://lists.01.org/mailman/listinfo/edk2-devel
