elad 0f70b7df59 no VERIFIED_EXEC anymore, just a pseudo-device.		2006-07-22 10:43:51 +00:00
..
Makefile	sprinkle some -fno-strict-aliasing and -Wno-pointer-sign with GCC4.	2006-05-11 23:16:28 +00:00
veriexecctl.8	no VERIFIED_EXEC anymore, just a pseudo-device.	2006-07-22 10:43:51 +00:00
veriexecctl.c	misc cleanup: remove #if 0 code, unused var, and make pretty.	2006-07-14 23:00:09 +00:00
veriexecctl.h	misc cleanup: remove #if 0 code, unused var, and make pretty.	2006-07-14 23:00:09 +00:00
veriexecctl_conf.l	…
veriexecctl_parse.y	misc cleanup: remove #if 0 code, unused var, and make pretty.	2006-07-14 23:00:09 +00:00