diff options
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index cb0ee52213..b92f9bdf58 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -449,6 +449,8 @@ static void pcifront_thread(void *p) } pci_dev = init_pcifront(NULL); + if (!pci_dev) + return; printk("PCI devices:\n"); pcifront_scan(pci_dev, print); } |