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