Re: [OpenBIOS] SPARC64 device tree model - SBUS or PCI?