christos e53725b6b7 clear_session_logs is not needed when we are small.		2004-06-06 01:42:20 +00:00
..
Makefile	…
NOTES	…
init.8	veriexec can't be changed at securelevel 1	2004-02-19 13:24:31 +00:00
init.c	clear_session_logs is not needed when we are small.	2004-06-06 01:42:20 +00:00
pathnames.h	…