I'm surprised to see that it's OK that he has opensource AHB/APB stuff in it--I'd avoided learning them too much about them assuming that they were ARM proprietary.

AMBA has been an open standard for a really long time, I think maybe since it was released?