K 10
svn:author
V 7
rwatson
K 8
svn:date
V 27
2014-02-23T22:20:52.467606Z
K 7
svn:log
V 255
Build the BERI boot loader on 64-bit MIPS (but not 32-bit MIPS).  While
these binaries aren't immediately useful on other MIPSes, still build them
as part of mips64 world in order to expose them to tinderbox.

MFC after:	3 weeks
Sponsored by:	DARPA, AFRL

END