build/lib/hardwaremain.ramstage.o: src/lib/hardwaremain.c \
 src/include/kconfig.h build/config.h \
 src/arch/x86/include/arch/exception.h src/include/bootstate.h \
 src/include/string.h src/include/stddef.h src/include/stdlib.h \
 src/include/console/console.h src/arch/x86/include/stdint.h \
 src/include/rules.h src/include/console/post_codes.h \
 src/include/console/early_print.h src/include/console/streams.h \
 src/include/console/loglevel.h src/include/version.h \
 src/include/device/device.h src/include/device/resource.h \
 src/include/device/path.h src/include/device/pci.h \
 src/arch/x86/include/arch/io.h src/include/device/pci_def.h \
 src/include/device/pci_ops.h src/arch/x86/include/arch/pci_ops.h \
 src/include/device/pci_rom.h src/arch/x86/include/arch/byteorder.h \
 src/include/swab.h src/include/delay.h src/include/reset.h \
 src/include/boot/tables.h src/include/boot/coreboot_tables.h \
 src/include/payload_loader.h src/include/lib.h src/include/types.h \
 src/include/timer.h src/include/timestamp.h src/include/thread.h \
 src/arch/x86/include/arch/cpu.h
