An operating system from Acorn Computers used on an ARM card which could be fitted to an IBM PC. There was also an ARM second processor for the BBC Microcomputer which used Brazil. Never used on the Archimedes(?).
Try this search on Wikipedia, OneLook, Google
Nearby terms: branch prediction « Branch Target Buffer « branch to Fishkill « Brazil » BRB » breadcrumbs » breadth-first search