If you're curious where that lives, check out the OpenPower Github project.[1]

(full disclosure - I worked on tiny pieces of the code and stuff adjacent to it in the design)

[1] https://github.com/open-power