33,31 → 33,17 |
|
#include "kernel/kern.h" |
#include "drivers/keyb.h" |
#include "drivers/shark_linuxc26.h" |
#include "drivers/shark_pci26.h" |
|
extern int pci_init(void); |
|
int main (int argc, char *argv[]) |
{ |
void *test; |
|
cprintf("DEVICES SUBSYS\n"); |
devices_init(); |
cprintf("BUS SUBSYS\n"); |
buses_init(); |
LINUXC26_register_module(); |
PCI26_init(); |
|
cprintf("Direct INIT\n"); |
pci_direct_init(); |
cprintf("Bios INIT\n"); |
pcibios_init(); |
cprintf("Driver INIT\n"); |
pci_driver_init(); |
|
cprintf("Legacy\n"); |
pci_legacy_init(); |
|
cprintf("Pci INIT\n"); |
pci_init(); |
|
return 0; |
|
} |