47 |
MACHINE_SETUP(sandpoint) |
MACHINE_SETUP(sandpoint) |
48 |
{ |
{ |
49 |
struct pci_data *pci_data; |
struct pci_data *pci_data; |
50 |
// char tmp[300]; |
// char tmpstr[300]; |
51 |
|
|
52 |
/* |
/* |
53 |
* NetBSD/sandpoint (http://www.netbsd.org/ports/sandpoint/) |
* NetBSD/sandpoint (http://www.netbsd.org/ports/sandpoint/) |
61 |
/* Sandpoint PPC specific motherboard registers: */ |
/* Sandpoint PPC specific motherboard registers: */ |
62 |
device_add(machine, "sandpoint"); |
device_add(machine, "sandpoint"); |
63 |
|
|
64 |
|
// OpenPIC FIXME |
65 |
|
device_add(machine, "gc addr=0xfc041000"); |
66 |
|
|
67 |
|
#if 0 |
68 |
|
snprintf(tmpstr, sizeof(tmpstr), "prep irq=%s.cpu[%i]", |
69 |
|
machine->path, machine->bootstrap_cpu); |
70 |
|
device_add(machine, tmpstr); |
71 |
|
#endif |
72 |
|
|
73 |
/* PCI and Interrupt controller (hostbus) */ |
/* PCI and Interrupt controller (hostbus) */ |
74 |
pci_data = dev_mpc10x_init(machine, machine->memory, 0xfe000000, |
pci_data = dev_mpc10x_init(machine, machine->memory, 0xfe000000, |
75 |
64 /* isa irq base */, 0 /* pci irq: TODO */); |
64 /* isa irq base */, 128 /* pci irq: TODO */); |
76 |
|
|
77 |
/* serial port */ |
/* serial port */ |
78 |
|
|
94 |
|
|
95 |
bus_pci_add(machine, pci_data, machine->memory, 0, 8, 0, "dec21143"); |
bus_pci_add(machine, pci_data, machine->memory, 0, 8, 0, "dec21143"); |
96 |
#endif |
#endif |
97 |
|
|
98 |
} |
} |
99 |
|
|
100 |
|
|