From 8b8d17d93d599fa7a0e001dbe8bff490f449d6a6 Mon Sep 17 00:00:00 2001
From: Antoine Cure <tinei@protonmail.com>
Date: Mon, 10 Feb 2020 09:18:25 +0100
Subject: [PATCH] WIP: get PCI config base address from MCFG table (3)

---
 kaleid/kernel/io/pci.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kaleid/kernel/io/pci.c b/kaleid/kernel/io/pci.c
index 9b29a9a..ba51bab 100644
--- a/kaleid/kernel/io/pci.c
+++ b/kaleid/kernel/io/pci.c
@@ -34,5 +34,5 @@ void pciGetDevice(ushort vendorID, ushort deviceID, int deviceType)
     {
         KernLog("Unable to access PCI configuration : MCFG table not reachable\n");
     }
-    KernLog("PCI Config Base address = %ld", MCFG_table->PCIConfigBaseAddress);
+    KernLog("\nPCI Config Base address = 0x%lx\n", MCFG_table->PCIConfigBaseAddress);
 }