I might be completely missing something here, but I don't seem to spot any relation to the OpenBMC software payload that is currently available for certain existing BMCs. Perhaps they are not looking to integrate the two, but it would seem like a lot of duplicate work if you create new hardware but then not use existing open software to power it (aside from the FPGA bitstream of course).