--- trunk/src/machines/machine_sandpoint.c 2007/10/12 22:06:53 61 +++ trunk/src/machines/machine_sandpoint.c 2007/10/13 12:51:47 62 @@ -47,7 +47,7 @@ MACHINE_SETUP(sandpoint) { struct pci_data *pci_data; -// char tmp[300]; +// char tmpstr[300]; /* * NetBSD/sandpoint (http://www.netbsd.org/ports/sandpoint/) @@ -61,9 +61,18 @@ /* Sandpoint PPC specific motherboard registers: */ device_add(machine, "sandpoint"); + // OpenPIC FIXME + device_add(machine, "gc addr=0xfc041000"); + +#if 0 + snprintf(tmpstr, sizeof(tmpstr), "prep irq=%s.cpu[%i]", + machine->path, machine->bootstrap_cpu); + device_add(machine, tmpstr); +#endif + /* PCI and Interrupt controller (hostbus) */ pci_data = dev_mpc10x_init(machine, machine->memory, 0xfe000000, - 64 /* isa irq base */, 0 /* pci irq: TODO */); + 64 /* isa irq base */, 128 /* pci irq: TODO */); /* serial port */ @@ -85,6 +94,7 @@ bus_pci_add(machine, pci_data, machine->memory, 0, 8, 0, "dec21143"); #endif + }