/*
* $FreeBSD$
*/
/ {
model = "ARM Versatile PB";
compatible = "arm,versatile-pb";
amba {
compatible = "simple-bus";
compatible = "arm,versatile-vic";
};
compatible = "arm,versatile-sic";
};
interrupts = <12>;
};
interrupts = <13>;
};
interrupts = <14>;
};
timer0 {
interrupts = <4>;
};
pci0 {
compatible = "versatile,pci";
0x10001000 0x1000
0x41000000 0x01000000
0x42000000 0x02000000>;
};
net {
compatible = "smsc,lan91c111";
interrupts = <25>;
};
display {
0x10120000 0x1000>;
interrupts = <16>;
};
/*
* Cut corner here: we do not have proper interrupt
* controllers cascading so just hardwire SIC IRQ 3
* to VIC IRQ31
*/
kmi {
interrupts = <31>;
};
};
memory {
device_type = "memory";
};
aliases {
};
chosen {
stdin = "uart0";
stdout = "uart0";
};
};