On Sun, 27 Jul 2014, Paul Goyette wrote:
genfb0 at pci0 dev 1 function 0: vendor 0x1002 product 0x9838 (rev.0x00) genfb0: framebuffer at 0xc0000000, size 800x600, depth 32, stride 3328 wsdisplay0 at genfb0 ...
For the genfb kernel driver, try "Driver wsfb" in the "Device" section of /etc/X11/xorg.conf. --apb (Alan Barrett)