.PATH: ${SRCTOP}/sys/dev/coreboot

KMOD=	coreboot
SRCS=	coreboot.c coreboot_console.c coreboot_cbmem.c coreboot_timestamps.c
SRCS+=	bus_if.h device_if.h

.include <bsd.kmod.mk>