Intel D525MW problems (in combination with Sil 3114 SATA-card))

---
 sys/boot/i386/loader/main.c |   14 ++++++++++++--
 1 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/sys/boot/i386/loader/main.c b/sys/boot/i386/loader/main.c
index 75d5dbc..e77ffe4 100644
--- a/sys/boot/i386/loader/main.c
+++ b/sys/boot/i386/loader/main.c
@@ -137,6 +137,8 @@ main(void)
 	setenv("console", "nullconsole", 1);
     cons_probe();
 
+    printf("loader - main\n");
+
     /*
      * Initialise the block cache
      */
@@ -168,8 +170,16 @@ main(void)
      * March through the device switch probing for things.
      */
     for (i = 0; devsw[i] != NULL; i++)
-	if (devsw[i]->dv_init != NULL)
-	    (devsw[i]->dv_init)();
+    {
+        if (devsw[i]->dv_init != NULL)
+        {
+            printf("loader - main will init device at index: %d \n", i);
+    	    (devsw[i]->dv_init)();
+            printf("loader - main did init device at index: %d \n", i);
+            (devsw[i]->dv_print)(1);
+	    }
+    }
+    printf("done probing devices\n");
     printf("BIOS %dkB/%dkB available memory\n", bios_basemem / 1024, bios_extmem / 1024);
     if (initial_bootinfo != NULL) {
 	initial_bootinfo->bi_basemem = bios_basemem / 1024;
--

(devsw[i]->dv_init)();