47 |
MACHINE_SETUP(sandpoint) |
MACHINE_SETUP(sandpoint) |
48 |
{ |
{ |
49 |
struct pci_data *pci_data; |
struct pci_data *pci_data; |
50 |
// char tmpstr[300]; |
// char tmp[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 |
/* PCI and Interrupt controller: */ |
/* PCI and Interrupt controller (hostbus) */ |
65 |
pci_data = device_add(machine, "mpc10x"); |
pci_data = dev_mpc10x_init(machine, machine->memory, 0xfe000000, |
66 |
|
64 /* isa irq base */, 0 /* pci irq: TODO */); |
67 |
|
|
68 |
|
/* serial port */ |
69 |
|
|
70 |
|
machine->main_console_handle = (size_t) |
71 |
|
device_add(machine, "ns16550 addr=0xfc004500"); |
72 |
|
#if 0 |
73 |
|
snprintf(tmp, sizeof(tmp), "ns16550 irq=%s.mpc10x.%i addr=0x%llx " |
74 |
|
"name2=tty1", devinit->interrupt_path, 31 - MPC_IB_UART_1, |
75 |
|
(long long)fc004600); |
76 |
|
device_add(devinit->machine, tmp); |
77 |
|
#endif |
78 |
#if 0 |
#if 0 |
79 |
/* RTC at "ext int 5" = "int 25" in IBM jargon, int |
/* RTC at "ext int 5" = "int 25" in IBM jargon, int |
80 |
31-25 = 6 for the rest of us. */ |
31-25 = 6 for the rest of us. */ |