Hello! > Also some boards have no fallback timer device at all (notably > "virt", so generic-timer *has* to work.
Yes, some boards indeed don't have it. And virt, indeed, doesn't work. But, at least i can run vexpress guest. I'm out of further arguments. :) Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia