Roland McGrath <frob@debian.org> writes: > It should be possible to port svgalib without a lot of trouble. It looks like a process wanting to access video I/O ports should first open the "kd" device, and then GNUmach would give it access to the ports listed in i386/i386at/kd.c (vga_port_list) the first time it tries to use them. Is this right?