The short and sweet of it is this:
The developer of Flashfloppy firmware for GoTek is also interested in supporting the TI DSK format after I sent him a request. The same DSk format we use in classic99, JS99er, Win994a and Mame.
I don't know how they might differ from each other (the dsk file extension for our images) but he asked me for any technical docs or information on the format.
Can I get some volunteers to point me to the sources he may need in order to implement this?
I'm going to point him to whtech for dsk images as a start to get the ball rolling.
Here is his direct request - "Point me to some DSK images, and if there is tech info on the file format then all the better."