Cómo instalar GNU/Linux en la PDA Pocket PC Dell Axim x51v

Nota: Este documento también sirve para saber como instalar GNU/Linux a la PDA Pocket PC Dell Axim x50v: según los desarrolladores, el procedimiento es el mismo.

Antes de que nada, hay que decir que la versión disponible de GNU/Linux para esta máquina es todavía muy poco madura y que provee de un sistema GNU/Linux muy básico y un entorno gráfico simple, con muy pocas aplicaciones. Se pueden ver las fotografías al final del documento para saber más.

Ingredientes

Lista de cosas que nos harán falta para instalar GNU/Linux en una PDA Pocket PC Dell Axim x51v:

* Un lector de tarjetas SD.
* Una tarjeta SD de un mínimo de capacidad de 256 MB.
* Copias de seguridad de todos los datos importantes (y de las menos importantes) tanto del contenido de la PDA Pocket PC cómo del ordenador desde el cual se opera. Hay que ejecutar operaciones de formateo, así que si algo va mal o nos equivocamos al seleccionar el dispositivo, se perderán los datos, y más vale tener copia.

Primero paso: encontrar la tarjeta SD

Instalaremos GNU/Linux en una tarjeta SD: tu actual instalación de Windows Mobile no padecerá. El primer paso es saber en qué ruta se encuentra la tarjeta SD. Si este paso te parece un poco confuso, te recomiendo que leas el segundo paso antes de tirar la toalla. Exactamente lo que buscamos es a qué dispositivo /dev/ se nos ha asociado la tarjeta SD. A menudo es /dev/sda, pero en mi caso, por ejemplo, no es así.

Antes de introducir la tarjeta en el lector, se ejecuta el comando ls /dev/ > antes.txt en un emulador de terminal. Una vez hecho esto, se introduce la tarjeta, y entonces se ejecuta lo siguiente: ls /dev/ > despues.txt. Por último, el comando diff antes.txt despues.txt tendría que mostrar un dato. En mi caso muestra lo siguiente:

Debian:/home/alvaro# diff antes.txt despres.txt
37a38,39
> mmcblk0p1

Así las cosas, mi tarjeta SD se encuentra efectivamente en /dev/mmcblk0p1.

Segundo paso: hacer las particions de la tarjeta SD

Hacer las particiones en la tarjeta SD quiere decir crear un tipo de compartimentos virtuales dentro la tarjeta, cosa que se necesaria para que todo ello funcione. Todo esto que hemos hecho hasta ahora es para asegurarnos que no nos confundimos de disco al hacer las particiones. Si nos equivocáramos, estaríamos alterando los datos de otro de los discos que tuviéramos activos en el ordenador, lo cual se puede traducir en estar estropeando el disco duro principal de nuestro ordenador. ¡Cuidado!

No obstante, hay otros modos de saber localizar el disco que queremos particionar, que es la tarjeta SD, con el programa que usaremos para hacer efectivo este proceso de particionado: GParted. Ejecutémoslo: gparted es la comanda que lo abre.

Lista desplegable para seleccionar el disco en gparted

Podemos observar que en la parte de arriba a la derecha hay una lista desplegable que permite seleccionar el disco con el que operar. Cómo he dicho antes, el proceso del punto 1 es para tener más datos para asegurarnos de que no nos equivocamos en la elección: en mi caso, ya he descubierto que /dev/mmcblk0p1 es el disco con el que debo operar, la tarjeta SD. Pero si el punto 1 no ha salido como esperábamos y, por ejemplo, la tarjeta SD que hemos introducido en el lector es el único disco que tiene una capacidad de 256 MB, ya sabemos que el disco que vaya acompañado de este número indicador de capacidad en la lista desplegable es el disco que buscamos.

Disco montado en gparted

Ya podemos empezar a trabajar con el disco. En determinadas situaciones, sin embargo, el disco nos aparece acompañado de un candado: hay que desmontar el disco, haciendo clic con el botón secundario del ratón sobre el candado y eligiendo la opción Desmonta, antes de seguir operando.

Haremos dos particiones: una con sistema de archivos fat16 y otra con sistema de archivos ext2. fat16 y ext2 son sólo dos datos que tenemos que dar a gparted para que el programa sepa de qué manera particular tiene que hacer la partición: no nos tiene que preocupar más.

La partición fat16 nos servirá entre otras cosas para poner el HaRET, un programa que lo que hace es iniciar Linux desde nuestro actual Windows CE. Como la versión de GNU/Linux para la PDA x51v todavía no está muy madura, todavía no puede sustituir Windows del todo y hay que arrancar Linux desde Windows.

A partir de ahora usaremos bastante el botón secundario del ratón para abrir el menú contextual que nos permitirá hacer varias operaciones. La primera de ellas será borrar la partición única que en estos momentos hay a la tarjeta (si no es que es una tarjeta SD sin formatear, lo cual no suele pasar).

Suprimir partición en el gparted

Hecho esto, pulsaremos la combinación de teclas Crtl+N, lo cual abrirá un cuadro de diálogo que llenaremos con la información siguiente:

Espacio libre precedente (MiB): 0
Medida nueva (MiB): 10
Espacio libre posterior (MiB): (aparecerá un número automáticamente cuando llenamos el campo anterior).
Crea como: Partición primaria
Sistema de ficheros: fat16

Diálogo de nueva partición en gparted

A veces gparted establece una medida mínima para las particiones (en mi caso de 16 MB) y por lo tanto es imposible hacer una partición de 10 MB, automáticamente pasa a un tamaño superior. No importa: lo importante es que el tamaño sea superior a 10.

Un vez hecho esto de nueve pulsamos Crtl+N, y creamos otra nueva partición: esta vez el sistema de ficheros tiene que ser ext2 y el tamaño tiene que ser igual a lo que resta de disco sin ocupar, es decir, el tamaño máximo que muestra el diálogo menos lo que ocupa la partición que acabamos de crear anteriormente.

Para finalizar este paso, en la parte inferior del gparted donde aparece un resumen de las operaciones pendientes, hacemos clic con el botón secundario y elegimos la opción Realiza las operaciones pendientes. Pedirá confirmación.

Gparted realiza las operaciones pendientes

Tercer paso: descargar los archivos necesarios

Hay que descargar varios archivos, que reciben los nombres siguientes: la imagen GPE, el kernel de linux, el HaRET 0.4.8 y el archivo de texto defaut.txt. No hace falta preocuparse mucho por no entender los nombres de los archivos, sólo identificarlos, porque los mencionaremos. Estos archivos difieren según la máquina: los que enlazo son para la x51v. Si intentáis instalar Linux en la x50v, dirigíos al repositorio del proyecto y localizad los archivos equivalentes.

Cuarto paso: copiar los archivos

Para poder copiar los archivos que forman GNU/Linux en la tarjeta SD tenemos que ejecutar una serie de comandos en el emulador de terminal. La primera de ellas será la necesaria para tener privilegios de administrador, es decir, su o sudo, según si nos encontramos en una distribución Debian o en una Ubuntu, respectivamente, o alguna similar si es otra distribución.

A partir de aquí, primero, creamos un par de carpetas:

mkdir /media/sdtmp1
mkdir /media/sdtmp2

Ahora ejecutamos dos comandos y después montamos cada una de las dos particiones en cada una de las dos carpetas que acabamos de crear:

/sbin/mkdosfs /dev/mmcblk0p1
/sbin/mke2fs /dev/mmcblk0p2

mount /dev/mmcblk0p1 /media/sdtmp1
mount /dev/mmcblk0p2 /media/sdtmp2

Evidentemente hay que cambiar /dev/mmcblk0p1 y /dev/mmcblk0p2 por el nombre del dispositivo que corresponda a vuestro caso, que es lo que hemos averiguado al punto 1 y que se puede averiguar mediante las opciones de información de gparted.

Ahora nos dirigimos a la carpeta donde hemos descargado los archivos anteriormente:

cd /ruta/a/la/carpeta/donde/tenemos/las/descargas

Ejecutamos lo siguiente:

bzcat Angstrom-x11-image-glibc-test-20070627-aximx50v.rootfs.tar.bz2 | (cd /media/sdtmp2; tar x)
cp zImage-2.6.21-hh9-aximx50v-20070625071129 /media/sdtmp1/zImage
cp haret-0.4.8.exe /media/sdtmp1/haret.exe
cp default.txt /media/sdtmp1/default.txt

Ya podemos desmontar las particiones:

umount /media/sdtmp1
umount /media/sdtmp2

Y también podemos eliminar las carpetas temporales que hemos hecho al inicio de este paso:

rmdir /media/sdtmp1
rmdir /media/sdtmp2

Quinto paso: activar el modo de duplicación

Hay que activar una cosa que se denomina “Modo de duplicación”. Esto se hace, con la Dell Axim x51v, todo entrando en la opción “Configuración” del menú de inicio, en la pestaña “Sistema”, opción “Modo de duplicación”.

A modo de referencia, para sistemas Windows Mobile en inglés esto se encuentra en Start -> Settings -> System -> Mirror.

Sexto y último paso: probar si funciona

Introducimos la tarjeta SD dentro su ranura correspondiente de la Axim, con el explorador de archivos de Windows Mobile nos dirigimos a los archivos de la tarjeta SD y ejecutamos el HaRET. Se abre un diálogo: pulsamos el botón Run. Y esperamos que funcione.

… ¿y si no funciona?

Si no funciona, hay diferentes cosas que podemos probar:

  • Activar el wifi antes de ejecutar el HaRET.
  • Activar el bluethooth antes de ejecutar el HaRET.
  • Activar tanto el wifi como el bluethooth antes de ejecutar el HaRET.
  • pedir ayuda en la lista de correo del proyecto.

Fotos!

Arranque de Linux en Dell Axim x51v

Linux en Dell Axim x51v pide información del usuario

Linux en Dell Axim x51v da la bienvenida

Escritorio de Linux en Dell Axim x51v

Esto es todo. ¡Disfrutad!