Adding 512 KB ROM at 0xfff80000 in the HP 700/RX machine.
Authored by: debug 2019-04-18
Parent: [r6162]
Child: [r6164]