On 07/26/2012 12:02 AM, Antonios Motakis wrote: > Not really, but the user still has the option to build a kernel like > that. The simplest thing would be to just add VFP as a dependency for > KVM on arm altogether to avoid this. If this is acceptable, then > indeed this is a non issue. Just error out as soon as the guest uses VFP if the host wasn't configured to support it. That's what we do on PowerPC. It really doesn't make sense to support such a config for real world scenarios unless whoever builds the system can guarantee that neither host nor guest ever use VFP. Also, please don't top post ;). Alex