coreboot-kgpe-d16/src/pc80/Config.lb

uses CONFIG_IDE_STREAM
uses CONFIG_KEYBOARD

object mc146818rtc.o
#object isa-dma.o
#object i8259.o CONFIG_I8259
#object udelay_timer2.o CONFIG_UDELAY_TIMER2
#object beep.o CONFIG_BEEP
#object vga_load_regs.o VIDEO_CONSOLE
#object font_8x16.o VIDEO_CONSOLE
#object vga_set_mode.o VIDEO_CONSOLE
#object vga_load_pcx.o VIDEO_CONSOLE

if CONFIG_IDE_STREAM
	dir ide
end

if CONFIG_KEYBOARD
	object keyboard.o
end