Hi. I'm improving the driver of the Netronics Explorer/85 computer. In particular, I want to enable the debugging functionality of the original ROM monitor, and for that I need a proper working 8155 timer. The problem I find is that the timer seems to be running at the 6.144MHz clock input of the 80...