The following reply was made to PR kern/35351; it has been noted by GNATS.

From: yamt@mwd.biglobe.ne.jp (YAMAMOTO Takashi)
To: e@murder.org
Cc: tech-kern@netbsd.org, gnats-bugs@netbsd.org
Subject: Re: kern/35351 (Re: CVS commit: src/sys/kern)
Date: Sun,  8 Apr 2007 03:22:12 +0900 (JST)

 > > but there is nothing prevents multiple instances of the executables from
 > > running, right?
 > 
 > /dev/veriexec is limited to one user at a time:
 > 
 > 	http://nxr.netbsd.org/source/xref/sys/dev/verified_exec.c#119
 > 
 > and that user must be root:
 > 
 > 	http://nxr.netbsd.org/source/xref/sys/dev/verified_exec.c#116
 
 ok, then it's somehow serialized.  it's what i wanted to know.  thanks.
 
 YAMAMOTO Takashi