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. 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

