Re: Kernel VMI (Virtual Machine Interface) in F7/F8?