blymn 2949d9d676 Added veriexec as a MI major.

2005-06-03 12:39:52 +00:00

..

copyright

…

files

Rototill of the verified exec functionality.

2005-04-20 13:44:45 +00:00

majors

Added veriexec as a MI major.

2005-06-03 12:39:52 +00:00

Makefile.kern.inc

Don't assume infinite command line length.

2005-06-02 05:11:55 +00:00

newvers_stand.sh

…

newvers.sh

…

osrelease.sh

It is silly to parse the comment in the header file to determine the

2005-03-27 23:27:31 +00:00

param.c

…