Re: random process crashes in virtualbox guests (clocksource problem?)

[Michael]

i filed a bug report:

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014394

greetings...