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'

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.