Hi, It looks like the timer problem is solved with the recent port (virtualbox-3.0.51.r22902) but now I cannot start more than one VM - the error is VERR_NO_MEMORY (there certainly is enough free memory).