Joachim Backes <joachim.backes <at> rhrk.uni-kl.de> writes:
as you can see in the subject, I'm running *F22/TC8 alpha* as
host and
*not F21* (in F21, the VM runs well), and I had no problems with the
kernel of the F22/TC8 DVD.
Running VirtualBox on a host with a 4.0 kernel is expected to have problems,
see
https://www.virtualbox.org/ticket/13835#comment:26 .