I have built LinuxBIOS for the amd/serenade target and I get about 600 lines of good output to the serial port, which ends with

Initializing devices...

PCI: 00:18.0 init

PCI: 00:18.3 init

NB: Function 3 Misc Control.. done.

PCI: 00:19.0 init

PCI: 00:19.3 init

NB: Function 3 Misc Control.. done.

PCI: 01:01.0 init

PCI: 01:02.0 init

PNP: 002e.0 init

PNP: 002e.2 init

PNP: 002e.5 init

POST: 0x00

The last line “POST: 0x00” repeats forever. PC80/keyboard.c is trying to initialize the keyboard. The code that is running is

/* empty input buffer or any other command/data will be lost */

while ((inb(0x64) & 0x02))

post_code(0);

The inb(0x64) reads 0xff forever. I heard that the keyboard initialization may not be needed.

How can I fix this? Thanks.

Steve