Re: [OpenBIOS] Other ISA port 0x80 reads (?)