K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2012-05-11T14:45:29.574519Z
K 7
svn:log
V 325
Add support for passing in the board ID.

# This doesn't implement the full Linux boot ABI for arm yet.
# since there's no ATAGs list passed in for r2, and r0 has
# boot options rather than 0 as specified in the standard.
# Commited code to the tree won't touch any of this anyway, but
# future code may be able to use this.

END