Unable to boot vkernel: "Permission denied"

[Antonio Huete Jimenez]

Hi Chirag,

We changed the kernel location not long ago, but the document you
followed is not updated. Feel free to update it with your findings :)

Cheers,
Antonio Huete

2011/3/15 Chirag Kantharia <chirag at kantharia.in>:
> 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
>
>