On Di, 2014-06-24 at 09:11 +1000, Benjamin Herrenschmidt wrote: > Not all platforms have a VGA BIOS, powerpc typically relies on > using the DISPI interface to initialize the card.
s/bios/guest/ and it would hold ;) But the dispi interface is defined the way it is. We are not going to change it, even if it isn't perfect, as it is guest/host abi. So the comments are not very useful indeed ... cheers, Gerd
