Verbose output from Foundation Platform?

I'm trying to create an example enabling stage 2 address mapping with the ARM Foundation Platform. I've been unable to get this to work as expected: I'm always getting a level 0 translation fault.

Is there any way to turn on debug or verbose output to try to understand why I'm getting this error? I can't understand which of the several causes it might be.