.PATH: ${SRCTOP}/sys/dev/ipmi KMOD= ipmi_linux SRCS= ipmi_linux.c .include