Saifi Khan wrote: Any pointers / observations about running VKERNEL on X86_64 ? There's no support for vkernel on 64-bit kernels. I've got unfinished work to add support.