Documentation is now handled by the same processes we use for code: Add something to the Documentation/ directory in the coreboot repo, and it will be rendered to https://doc.coreboot.org/. Contributions welcome!
When we build coreboot for Merlin Falcon, we need to configure the Graphics OptionRom with the same device ID as silicon graphics ID. We need to build the coreboot with the following steps.
Boot the board with TCMEF1D3.rom. Connect the HDT header with HDT. Search the PCI device. The row internal GPU, column DID (In this example, 9874) is the graphics device ID.
Boot the board with TCMEF1D3.rom. Connect the LPC header with a mini-board which can translate the UART signal to serial port. The Peanut is an example. Search the debug message from serial port like the Figure 2 says. In this example, the ID is 0x9874.
In coreboot configuration menu, select Device -> Add a VGA BIOS image. -> VGA device PCI IDs.