Avoid draining the keyboard buffer during gateA20_set(). It shouldn't
[people/xl0/gpxe.git] / src / arch / i386 / firmware / pcbios /
drwxr-xr-x   ..
-rw-r--r-- 6219 basemem.c
-rw-r--r-- 1517 bios.c
-rw-r--r-- 2026 bios_console.c
-rw-r--r-- 11440 e820mangler.S
-rw-r--r-- 2275 gateA20.c
-rw-r--r-- 2629 hidemem.c
-rw-r--r-- 5328 memmap.c