Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3 4 5 6 7 8 9 10 11 12
# $FreeBSD$ .PATH: ${.PARSEDIR:H:H}/dev/veriexec .include <bsd.own.mk> KMOD= veriexec SRCS= verified_exec.c SRCS+= bus_if.h device_if.h vnode_if.h .include <bsd.kmod.mk>