Hi,

The attached patch does the following:

  - Veriexec loading is done via sysctl() and not ioctl().
  - Adds ability to delete entries from a Veriexec table.

This will allow us to remove /dev/veriexec.

Please have a look; if no one object I'll commit this next
week.

-e.

-- 
Elad Efrat