/sys/dev/veriexec/

• ../
• veriexec_ioctl.h
• verified_exec.c