Robert Watson d4b64c8983 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

2014-02-23 22:20:52 +00:00

..

beri

…

Makefile

Build the BERI boot loader on 64-bit MIPS (but not 32-bit MIPS). While

2014-02-23 22:20:52 +00:00

Makefile.inc

…