[cctalk] Intel 80130 and 80150

Hi all, Around 1981, Intel made a 8086 companion chip named _operating system processor_ (i80130, and i80150, resp.) which comprised a ROM and some interrupt logic. The 80130 contained sort of a BIOS for iRMX86, the 80150 supported CP/M-86. Few info can be found at https://en.wikipedia.org/wiki/Intel_80130, and a datasheet exists at alldatasheet.com. Some lore is also found in some history pages, but not much more than the datasheet contains. Was the ROM content of both chips dumped and is available on the Internet somewhere, or does someone have such a system (supposedly some iAPX86/30) and is willing to make this public, e.g. upload to bitsavers? THX to any pointers Kind Regards Holger