https://www.jammarcade.net/wiki/index.php?title=Olivetti_Prodest_PC1-DFD_(Double_FDD_version)

They have JEDEC files for the GALs on the double FD version.

According to that, the mouse is a custom thing that would require specific emulation. The part that handles writes to usual pc hardware also isn't working so most pc software won't work. I think I have an idea of what happens but the details aren't clear.

Gimme a sec to sort through what I just received from Simone, pull request coming in as well

Right, so it looks as if the BIOS we had (1.21) was from a PC1 HD, there are now two more revisions from "plain" PC1's.

Simone says "In effect, the PC1 BIOS is different, [...]Not much difference but they lack HD support, obviously."

The new added BIOS versions (1.06 and 1.07) contain the string "Fixed Disk", though.

Next, Simone wrote "The 8042 keyboard controller is protected and it was programmed to take into account of Joystick movments (translated to keycodes) and mouse Keys. I'll bet that the Olivetti M24 (or AT&T 6300) keyboard controller is quite the same chipset, so you can try it if you can find something.
The mouse X/Y coordinates are directly supported from the YAMAHA video chip (yes!). I wrote a specific mouse driver (in assembler) for it that take advantage of this chip and his mouse (much smaller and faster of the originar mouse driver)"

I've uploaded his driver and asked him to share his source code, so I hope this is forthcoming.

The video chip supports a graphical mouse cursor over text mode, as seen here: https://www.youtube.com/watch?v=-8K...ZY2p9HIxVd99oXEqkDePhvUSTcnoKtpKNmpNVd4Y

Thanks to both crazyc and Simone2013!!!

The M24 originally used a 8041A as its keyboard interface, but later replaced it with a TMS7000. I believe only the latter has been dumped (and emulated).

The ROM that went with the TMS7000 probably came from my machine. I have two more sets of ROMs which I've (re-)uploaded, they seem to contain a dump of a M24's 8041 keyboard ROM.

I've uploaded an archive with ROMs and pictures of the Diamond SpeedStar 24 (ET4000AX) graphics card and the Seagate ST02 8bit ISA SCSI controller with integrated floppy controller.
The ST02 is interesting as it allows to use HD drives to be used on an XT class machine if your system BIOS supports it.