Unable to boot vkernel: "Permission denied"

[Chirag Kantharia]

Hello,

I'm trying to setup a VKERNEL environment on my x86_64 desktop.
Following the excellent article on setting up VKERNEL environment at
http://www.dragonflybsd.org/docs/newhandbook/vkernel/ I was able to
setup a root filesystem and compile the VKERNEL64 (all default
settings) kernel. After setting the sysctl vm.vkernel_enable, trying
to launch the vkernel, using ./boot/kernel -m 64m, I get
"./boot/kernel: Permission denied".

Upon googling, I found
http://www.mail-archive.com/users@crater.dragonflybsd.org/msg11456.html,
but the sysctl seems to be set correctly.

Using ktrace, it looks like the execve failed with "Permission
denied". The permissions for the ./boot/kernel file seem to be right.

$ ls -lo ./boot/kernel
total 23400
-r-xr-xr-x  1 root  wheel  schg 23930386 Mar 14 20:28 kernel

What am I missing?

Thanks,

-- 
Chirag Kantharia