All dumps have been verified:
Besides, I don't consider adding the 'Developer' ones to be any different to adding a Beta or Proto in any any of the other dats.
Regarding the bootstrap, I asked Toni Wilen. Because it's a Mask ROM, there isn't really a definitive way of knowing whether or not it's a pair of 32k chips or 4k because of the way the data is accessed/addressed. My decision to add the 4k dumps was made on the basis that a 8k dump was verified according to the site above and the fact that M.E.S.S. uses the 4k versions. Also, Toni hasn't added support to WinUAE for the 'padded' 32k versions. I didn't want to add 'padded' dumps because this is effectively a 'hacked' ROM dump - 32k dumps don't exist and thus can't be verified as good even though we can test and replicate them.
In M.E.S.S. as:
Kickstart ROMs arn't 'read' the same as ordinary ROM BIOS dumps (bootstrap, SCSI, extended ROM, etc) and so can't just be 'split'. The ODD/EVEN bytes are in a strange byteswapped/interleaved format. This is how I discovered how to create them - presumably there are tools to do this in one step, but I got tired of searching:
Split the 'full' image into four parts (SPLIT4) so that
file1 gets 0x00, 0x04, etc
file2 gets 0x01, 0x05, etc
file3 gets 0x02, 0x06, etc
file4 gets 0x03, 0x07, etc
Mix file1 and file2 to give EVEN (MIX2)
Mix file3 and file4 to give ODD (MIX2)
Byteswap these files to get the correct dumps.
...and yes, I did spend a few hours trying to figure out how to do this
- my only source being the existing TOSEC dumps:
Amiga 3000 Boot-ROM v1.4 r36.16 (1990)(Commodore)(A3000)[!][ROM0]
Amiga 3000 Boot-ROM v1.4 r36.16 (1990)(Commodore)(A3000)[!][ROM1]
with which to understand the layout of the data.
These verified split ROM dumps are indeed rarer than rocking horse shit.