SPONSORED LINKS
For what it is worth, here is some more information.
I asked about the existence of a BIOS interface manual for the
TP755CX. This is the reply:
| I am afraid there is no such exhaustive manual that covers all the
| BIOS calls that the 755CX supports. As a rule we do not publish calls
| that are subject to change from product to product, to avoid customer
| confusion and possible compatibility problems ("my program worked fine
| on model A, why does it break on model B?".)
I also received the following warning concerning calling the BIOS
from Linux:
| ... if you invoke VESA BIOS, it will attempt to read the display
| refresh rate data file \IBMVESA\FRATE.DAT (described in
| VINSTALL.DOC in that directory) via DOS INT 21H file system calls,
| so it will only work in DOS unless you somehow fake out INT 21H -
| in other words, you may have to do the setup from within a DOS
| emulator box or some unique virtual 8086 thread with a trap on INT
| 21H...