Hi,

while playing with verified exec, i found it wouldn't work on 2.0/alpha. 
Two simple fixes made it work:

sys/dev/verified_exec.c ; in verifiedexecioctl() ; line 215
UIO_USERSPACE should be UIO_SYSSPACE

Loading signatures failed with 'Bad Address'. (somewhere in namei code 
on copyinstr). printf()ing the address in verifiedexecioctl() showed it 
looked like a kernel address. This change fixes loading the signatures.
I wonder wether no-one uses verified exec, or if it (magically) works on 
other architectures.

sys/arch/alpha/conf/majors.alpha
add "device-major verifiedexec char 94 verifiedexec".

In majors.i386 it is already present, not for alpha though. I was 
wondering wether it should be in sys/conf/majors, it isn't architecture 
dependant afterall ?

Eike Dehling.