Unable to boot vkernel: "Permission denied"

[Chirag Kantharia]

On Tue, Mar 15, 2011 at 11:06:42AM +0100, Antonio Huete Jimenez wrote:
| I think you're trying to execute the directory. Can you please try
| './boot/kernel/kernel -m 64 ....' ? If that doesn't work, please do
| 'file /var/vkernel/boot/kernel'

This is kinda embarrassing. Yes, I was trying to execute the directory :(
I was able to start up the vkernel.

Thanks for your help, Antonio!

Till later,

-- 
Chirag Kantharia