elad 0050618207 deprecate "options VERIFIED_EXEC"
veriexec pseudo-device doesn't need a count anymore too

XXX: port masters should propagate this to their ports
2006-07-26 15:34:39 +00:00
..
2006-07-26 15:34:39 +00:00
2006-07-24 19:01:49 +00:00
2006-07-26 10:30:59 +00:00
2006-07-26 14:44:33 +00:00
2006-07-26 15:14:24 +00:00
2006-07-26 10:20:56 +00:00
2006-07-25 19:33:35 +00:00