PS/2 debug BIOS for Bermuda planars (PS/2 model 77, etc) - View it on GitHub