[ros-kernel] Jason read this, List of Drivers, Check Videoprt.sys Part 2

[Filip Navara]

James Tabor wrote:

> Now it seems that the mini port is loading twice, not sure why.

That's different miniport, one is for the VBE driver and one for the VGA 
driver.

- Filip