There doesn't seem to be a target defined for this board in the current source for coreboot.
I tried:
$ cd ./targets $ ./buildtarget nvidia/ck804 No target config file found Tried both nvidia/ck804 and nvidia/ck804/Config.lb $
Where are the target files for the Opteron/CK804 CRB?
--- Chipset Reference Boards ---
It is very important that coreboot contains the targets of all chipset reference boards, since mainboard designers often use them as the basis of their own designs. Thus coreboot ports from these chipset reference boards to the mainboards based on them would seem to be the easiest way to do these board-level ports. The only exception might be a mainboard family whose various members may be closer in design that the chipset reference board.
Sincerely,
Ken Fuchs