*** lib/Server/drivers/vga256/pvga1/driver.c	Wed Jun 22 15:49:40 1994
--- lib/Server/drivers/vga256/pvga1/driver.c.orig	Tue Jun  7 23:03:36 1994
***************
*** 134,142 ****
  
  #define IS_WD90C3X(x)	(((x) == WD90C30) || ((x) == WD90C31))
  
! /*!! commented by sti */
! /* #undef DO_WD90C20 */
! #define DO_WD90C20
  
  static unsigned PVGA1_ExtPorts[] = {            /* extra ports for WD90C31 */
               0x23C0, 0x23C1, 0x23C2, 0x23C3, 0x23C4, 0x23C5 };
--- 134,140 ----
  
  #define IS_WD90C3X(x)	(((x) == WD90C30) || ((x) == WD90C31))
  
! #undef DO_WD90C20
  
  static unsigned PVGA1_ExtPorts[] = {            /* extra ports for WD90C31 */
               0x23C0, 0x23C1, 0x23C2, 0x23C3, 0x23C4, 0x23C5 };
***************
*** 383,400 ****
      if (!vga256InfoRec.videoRam) {
          unsigned char config;
  
! #ifdef DUAL_SCAN
! 	/* check if we have a dual-scan LCD */
! 	outb(vgaIOBase + 4, 0x31);
! 	if ((inb(vgaIOBase + 5) & 0x3) == 0) {
! 	    /*  clear bit 6 to disable upper 512k The remaining 512Kbytes
! 		of video memory are not disabled by clearing the bit, but it
! 		is actually used as a shadow of first 512Kbyte */
! 	    outb(0x3CE, 0x0B); config = inb(0x3CF);
! 	    outb(0x3CE, 0x0B); outb(0x3CF, config & 0xAF); 
! 	    outb(0x3CE, 0x0B); config = inb(0x3CF);
! 	}
! #endif      
          switch(config & 0xC0) {
          case 0x00:
          case 0x40:
--- 381,388 ----
      if (!vga256InfoRec.videoRam) {
          unsigned char config;
  
!         outb(0x3CE, 0x0B); config = inb(0x3CF);
!       
          switch(config & 0xC0) {
          case 0x00:
          case 0x40: