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