Folks,

I have just made a change to the major number of veriexec, it has been
shifted from a machine dependent number tied to i386 (major 94) to
being a machine independent number (major 170).  You must ensure that
you either manually recreate the /dev/veriexec with the correct
number:

mknod -r /dev/veriexec c 170 0

or regenerate the MAKEDEV script from the updated sources just prior
to installing a kernel built from updated sources.

People with machines other than the i386 should now be able to use
veriexec.

-- 
Brett Lymn