1.PATH: ${SRCTOP}/sys/dev/coreboot 2 3KMOD= coreboot 4SRCS= coreboot.c coreboot_console.c coreboot_cbmem.c coreboot_timestamps.c 5SRCS+= bus_if.h device_if.h 6 7.include <bsd.kmod.mk> 8