#include <stdio.h>
#include <stdlib.h>

#include "intel_piix3.h"
#include "pci.h"
#include "pci_bus.h"
#include "isa.h"
#include "serial.h"


int main(int argc, char **argv) 
{
	printf("PCI bus driver\n");
	
	if (!pci_bus_init()) {
		printf("PCI bus initialization failed.\n");
		return 1;
	}
	
	if (!isa_bus_init()) {
		printf("ISA bus initialization failed.\n");
		return 1;
	}
	
	
	// pci-to-isa bridge device
	intel_piix3_init();
	
	// TODO: write driver of some device (serial port) and initialize it here 
	serial_init();
	
	return 0;
}