Thank you for your investigation and proposed solution. This sounds like a great improvement in boot time.
I'm looking into getting it fixed in Karmic and forwarded to Debian.
My results (please note that you should use "sudo" for the modprobe call):
$ echo 3 |sudo tee /proc/sys/vm/drop_caches 3 daniel@base { ~ } $ time sudo modprobe -n -q vboxdrv
real 0m2.076s user 0m0.008s sys 0m0.004s daniel@base { ~ } $ echo 3 |sudo tee /proc/sys/vm/drop_caches 3 daniel@base { ~ } $ time find /lib/modules/`uname -r` -name "vboxdrv\.*" 2>/dev/null|grep -q vboxdrv
real 0m9.875s user 0m0.028s sys 0m0.072s
Thank you for your investigation and proposed solution. This sounds like a great improvement in boot time.
I'm looking into getting it fixed in Karmic and forwarded to Debian.
My results (please note that you should use "sudo" for the modprobe call):
$ echo 3 |sudo tee /proc/sys/ vm/drop_ caches
3
daniel@base { ~ }
$ time sudo modprobe -n -q vboxdrv
real 0m2.076s vm/drop_ caches
user 0m0.008s
sys 0m0.004s
daniel@base { ~ }
$ echo 3 |sudo tee /proc/sys/
3
daniel@base { ~ }
$ time find /lib/modules/`uname -r` -name "vboxdrv\.*" 2>/dev/null|grep -q vboxdrv
real 0m9.875s
user 0m0.028s
sys 0m0.072s