Building a coreboot image

Note: The ROCKY 512 board uses exactly the same code base as the JUKI 511P, as they're very similar. Hence you have to choose the JUKI during coreboot configuration.

See the Build HOWTO for information on how to build coreboot for this board.

Using the hardware with a current kernel

The current 2.6.23 kernel does not know the CS5530 interrupt router. So it is impossible to let the kernel itself setup PCI's interrupt routing. Even if you provide the kernel with a valid interrupt routing table (PIRQ). No interrupts will work as the interrupt routing registers are still left at their reset values.
The small patch below solves this issue (it was rejected in mainline as it breaks various standard BIOS based Geode systems, as they were shipped with broken PIRQ tables [1]).

Comparing boot time

BIOS

Power UP - OS loader

OS loader - Linux

Linux - shell

Summary

Vendor BIOS

11

2

4

17

Coreboot

2

2

4

8

This file is licensed under Creative CommonsAttribution 2.5 License.In short: you are free to distribute and modify the file as long as you attribute its author(s) or licensor(s).