Stefan, I commited your patches but got: tmp/vgabios-new.diff missing header for unified diff at line 4 of patch patching file Makefile missing header for unified diff at line 30 of patch patching file helper_exec.c missing header for unified diff at line 291 of patch patching file helper_mem.c missing header for unified diff at line 486 of patch patching file int10.c missing header for unified diff at line 975 of patch patching file int15.c missing header for unified diff at line 991 of patch patching file int16.c missing header for unified diff at line 1002 of patch patching file int1a.c missing header for unified diff at line 1184 of patch patching file inte6.c missing header for unified diff at line 1208 of patch patching file inthandler.c missing header for unified diff at line 1932 of patch patching file pci-userspace.c missing header for unified diff at line 2105 of patch patching file pci-userspace.h missing header for unified diff at line 2174 of patch patching file pci.h missing header for unified diff at line 2182 of patch patching file test.h missing header for unified diff at line 2217 of patch patching file testbios.c
However they seemd to patch okay anyway, and I have committed the patch. Can you see if they all worked out? thanks ron
