Looks like that vexpress board isn't booting using a device-tree and gator assumes there is a device-tree to parse. I'll come up with a patch to prevent it calling BUG() in that case.
Looks like that vexpress board isn't booting using a device-tree and
gator assumes there is a device-tree to parse. I'll come up with a patch
to prevent it calling BUG() in that case.