Category: Education

[In English]
La máquina virtual es la de ROS Indigo Igloo 32 bits que ofrece preinstalada Nootrix y que puede descargarse aquí.

En Xubuntu 14.04, la he instalado en Virtual Box 4.3.10. Para no perder la costumbre ;), me han surgido algunos problemas, que he resuelto como sigue:

• Los problemas de creación o cierre del fichero .vmdk han desaparecido forzando a que, en Virtual Box, la opción Archivos -> Preferencias -> General -> Carpeta predeterminada de máquinas  contenga el directorio donde está almacenado en el fichero .ova, en lugar de modificar ese path al instalar la máquina.
• Una vez instalada la máquina correctamente, el que ha protestado ha sido Virtual Box. Afortunadamente, en el propio error se indicaba la solución, que efectivamente funciona: The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Please reinstall the kernel module by executing
  ‘/etc/init.d/vboxdrv setup’
  as root. If it is available in your distribution, you should install the DKMS package first. This package keeps track of Linux kernel changes and recompiles the vboxdrv kernel module if necessary.

En Windows 7, la he instalado en Virtual Box 4.2.10.  Aparentemente, la instalación ha ido bien.

[En español]
I have chosen the 32 bits preinstalled virtual machine of ROS Indigo Igloo offered by Nootrix here.

Under Xubuntu 14.04 I have Virtual Box 4.3.10. Just for a change ;), some issues arose, and they were solved like that:

• Problems related to creating or closing the  .vdmk file disappeared when I forced, in Virtual Box, that the folder in  Files -> Preferences -> General -> Predetermined machine folder  (I hope I have translated this properly, since my Virtual Box is in Spanish) is the same that the folder which stores de .ova file, instead of changing that path directly when the virtual machine is installed.
• Once the virtual machine was properly installed,  Virtual Box did not feel comfortable 😉 Luckily, the error info showed also how to solve it (and it works):  The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Please reinstall the kernel module by executing
  ‘/etc/init.d/vboxdrv setup’
  as root. If it is available in your distribution, you should install the DKMS package first. This package keeps track of Linux kernel changes and recompiles the vboxdrv kernel module if necessary.

On Windows 7, I used Virtual Box 4.2.10, and everything seems to be fine by now.