1. 2016-02-24 Re: [coreboot] [ANNOUNCEMENT] PS/2 devices working on linuxbios Alvaro G. [Andor] 2. 2016-02-17 Re: [coreboot] [ANNOUNCEMENT] PS/2 devices working on linuxbios Stefan Reinauer 3. 2016-02-13 [coreboot] [ANNOUNCEMENT] PS/2 devices working on ASR linuxbios Paul Menzel