We have only one IBM VGA ROM revision, dated October 27, 1986, from an IBM PS/2 Display Adapter. Which, BTW, has to be one of the most confusing product names ever, since the adapter was an 8-bit card designed for ISA machines, not PS/2 machines.
To (re)build the JSON-encoded IBM VGA ROM with symbols, run the following command:
filedump --file=archive/IBM-VGA.rom --format=bytes --decimal
The symbol information in the MAP file will be automatically converted and appended to the dump of the ROM file.
The disassembled contents of the 1986-10-27 ROM from the IBM PS/2 Display Adapter is available here.