Hi,

This patch comes from Jose Luis Alarcon Sanchez <[EMAIL PROTECTED]>,
at the BEE list. It just fixes a boot-time cosmetical issue, see at:

http://crous.co.za/~clive/hurd_freeze.jpg

Patch attached.
-- 
Mikel Olasagasti <[EMAIL PROTECTED]>
www.mundurat.net Mundurat Sarea
[gpg --keyserver pgp.escomposlinux.org --recv-keys BB103918]
diff -ru gnumach.original/linux/src/arch/i386/kernel/bios32.c gnumach.modificado/linux/src/arch/i386/kernel/bios32.c
--- gnumach.original/linux/src/arch/i386/kernel/bios32.c	2005-09-05 00:06:27.000000000 +0200
+++ gnumach.modificado/linux/src/arch/i386/kernel/bios32.c	2005-11-12 17:30:44.000000000 +0100
@@ -225,7 +225,7 @@
 		major_revision = (pack >> 8) & 0xff;
 		minor_revision = pack & 0xff;
 		if (present_status || (signature != PCI_SIGNATURE)) {
-			printk ("pcibios_init : %s : BIOS32 Service Directory says PCI BIOS is present,\n"
+			printk ("pcibios_init: %s : BIOS32 Service Directory says PCI BIOS is present,\n"
 				"	but PCI_BIOS_PRESENT subfunction fails with present status of 0x%x\n"
 				"	and signature of 0x%08lx (%c%c%c%c).  mail [EMAIL PROTECTED]",
 				(signature == PCI_SIGNATURE) ?  "WARNING" : "ERROR",
@@ -237,7 +237,7 @@
 				pcibios_entry = 0;
 		}
 		if (pcibios_entry) {
-			printk ("pcibios_init : PCI BIOS revision %x.%02x entry at 0x%lx\n",
+			printk ("pcibios_init: PCI BIOS revision %x.%02x entry at 0x%lx\n",
 				major_revision, minor_revision, pcibios_entry);
 			return 1;
 		}
@@ -891,18 +891,18 @@
 		if (sum != 0)
 			continue;
 		if (check->fields.revision != 0) {
-			printk("pcibios_init : unsupported revision %d at 0x%p, mail [EMAIL PROTECTED]",
+			printk("pcibios_init: unsupported revision %d at 0x%p, mail [EMAIL PROTECTED]",
 				check->fields.revision, check);
 			continue;
 		}
-		printk ("pcibios_init : BIOS32 Service Directory structure at 0x%p\n", check);
+		printk ("pcibios_init: BIOS32 Service Directory structure at 0x%p\n", check);
 		if (!bios32_entry) {
 			if (check->fields.entry >= 0x100000) {
 				printk("pcibios_init: entry in high memory, trying direct PCI access\n");
 				access_pci = check_direct_pci();
 			} else {
 				bios32_entry = check->fields.entry;
-				printk ("pcibios_init : BIOS32 Service Directory entry at 0x%lx\n", bios32_entry);
+				printk ("pcibios_init: BIOS32 Service Directory entry at 0x%lx\n", bios32_entry);
 				bios32_indirect.address = bios32_entry;
 			}
 		}
Sólo en gnumach.modificado/linux/src/arch/i386/kernel: bios32.c~

Attachment: signature.asc
Description: Hau digitalki sinatutako mezu-zatia da

_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd

Reply via email to