IBM Open-Sources Power Chip Instruction Set
Does this include the system IP? I asked that question when openpower started, and it took a number of years before any of that started to show up. Even now, i'm not sure its all there.Its pretty hard to build a reasonable/compatible machine when you have to "reinvent" the interrupt controller/iommu's/etc.