He creado esta y otras guíaspara documentar mi experiencia instalando libreboot en diferentes equipos. Encontré buenas fuentes pero la información está dispersa (en algunos casos desfasada) y creo que puedo aportar cierta claridad al respecto. He creado esta versión sintetizada para recurrir cuando ya se tiene cierta experiencia y otra versión extendida donde explico todo con más detalle.
Básicamente existen dos formas de instalar libreboot en un Dell Optiplex 3050 Micro . Una es mediante flasheo interno y otra es mediante flasheo externo.
- Para el flasheo interno solo necesitamos hacer un pequeño ajuste en el propio equipo y tener instalado un sistema operativo linux en él (en mi caso ubuntu 24.04).
- Para el flasheo externo necesitamos: Otro equipo con un sistema operativo linux, un programador flash SPI (Raspberry Pico 1, RP2040, en mi caso), una buena pinza SOIC8 (Pomona 5250 en mi caso) y 6 cables dupont de menos de 20cm y diferentes colores.
En ambos casos es recomendable que los equipos estén conectados a una fuente de energía ininterrumpida (SAI/UPS). Aunque para el flasheo externo puede valer un ordenador portátil con suficiente batería.
- Pasos comunes -
Para este equipo, lo más sencillo es usar el método de flasheo interno pero está bien conocer y estar preparado para hacer un flasheo externo en caso de que ocurra un error grave durante el proceso.
Así pues, manos a la obra. Los siguientes pasos son comunes para ambos métodos.
1 . Para instalar git y configurar un usuario local (requisito obligatorio) debemos hacer lo siguiente (si no quieres crear una cuenta de usuario real puedes usar una ficticia como se muestra):
$ sudo apt update
$ sudo apt install git
$ git config --global user.name "Johnn Doe"
$ git config --global user.email "johnndoe@example.com"
2 . Posteriormente clonamos el repositorio del desarrollador principal de libreboot y accedemos a la carpeta.
$ git clone https://codeberg.org/libreboot/lbmk
$ cd lbmk
3 . E instalamos las dependencias necesarias según nuestro sistema operativo. Puedes encontrar los archivos de configuración en/lbmk/config/dependencies para elegir el que necesites. En el caso de ubuntu aparecen dos versiones, una general y otra para la versión 2404, puedes instalar ambas si lo crees necesario.
$ sudo ./mk dependencies ubuntu2404
4 . Es el momento de construir la herramienta de flasheo:
$ ./mk -b flashprog
5 . Una vez llegados a este punto tenemos dos opciones, compilar nosotros mismos la rom (a) o usar una rom pre-compilada (b, más rápido).
(a) El proceso de compilación tarda varios minutos (15-20 en mi caso) pero antes vamos a añadir un comando para acelerarlo.
Por defecto, el proceso de compilación utiliza un subproceso, pero dependiendo de la cantidad de núcleos que tenga nuestra cpu podemos incrementarlos . En mi caso:
$ export XBMK_THREADS=4
La compilación se ejecuta como sigue:
$ ./mk -b coreboot dell3050micro_vfsp_16mb
Si todo ha ido bien tendrás diferentes versiones de la rom en /lbmk/bin/dell3050micro_vfsp_16mb.
(b) Para usar una imagen pre-compilada podemos acudir a mirrors.mit.edu/libreboot/stable (hay otros mirrors en libreboot.org/download.html, el del MIT es solo uno de ellos). Allí podemos encontrar todas las roms de libreboot pre-compiladas, para todos los equipos, tanto las versiones más antiguas como las más recientes. Es recomendable verificar las firmas y la integridad de la rom que vamos a usar (este es un paso que he obviado en esta guía y solo se encuentra en la versión extendida).
Para construir el firmware hay que modificar la rom pre-compilada mediante el siguiente comando:
$ ./mk inject libreboot-25.06_dell3050micro_vfsp_16mb.tar.xz
Por defecto, en este proceso, se aleatoriza la dirección MAC de la tarjeta de red del equipo. Si se requiere personalizar una concreta, se debe indicar al final de la instrucción de esta manera:
$ ./mk inject libreboot-25.06_dell3050micro_vfsp_16mb.tar.xz setmac 1A:2B:3C:4D:5E:6F
Una vez construido nuestro nuevo firmware solo queda extraerlo.
$ tar xvf libreboot-25.06_dell3050micro_vfsp_16mb.tar.xz
Comprobamos que tenemos las diferentes versiones en la ruta /lbmk/bin/dell3050micro_vfsp_16mb.
- Flasheo Interno -
En caso de no estar actualizada, es recomendable actualizar la bios del fabricante a la última versión (www.dell.com/support/product-details/es-es/product/optiplex-3050-micro/drivers).
En este punto, apagamos y desconectamos el equipo. Debemos abrir la carcasa y localizar al lado de la pila un jumper azul. Estando por defecto en el centro, debemos colocarlo en la parte más cercana al conector del disco duro.
Arrancamos el equipo y nos aparecerá un mensaje de advertencia. Entramos a la bios y nos aseguramos de que “secure boot” esté deshabilitado. Aplicamos y salimos.
Aparecerá otro mensaje de advertencia y arrancará el sistema operativo.
Ahora vamos a empezar a utilizar la herramienta flashprog, primero para hacer una copia de seguridad de la bios instalada y posteriormente para flashear el chip de la bios.
$ cd lbmk/elf/flashprog
Escribimos lo siguiente para leer el chip y hacer una copia de seguridad de la bios instalada, puedes usar una ruta distinta si lo deseas.
$ sudo ./flashprog -p internal -r ../../../stock1.rom
Hacemos una segunda copia.
$ sudo ./flashprog -p internal -r ../../../stock2.rom
Y las comparamos para asegurarnos de que todo fue correctamente y así tener una buena copia de seguridad.
$ diff ../../../stock1.rom ../../../stock2.rom
(también se puede usar $ sha512sum ../../../stock*.rom para comparar los hashes de ambos archivos y ver si coinciden).
Si no obtienes ningún resultado es indicativo de que ambas copias son iguales y todo fue correctamente. Si no es así, simplemente crea más copias y compáralas hasta que coincidan. El siguiente paso es guardarlas en una unidad externa para tenerlas disponibles por si en algún momento quieres revertir este proceso.
Ahora llega el momento de la verdad, vamos a flashear el chip e instalar la bios que tenemos preparada. Tenemos que escoger que versión de la rom que hemos construido queremos instalar. Todas las versiones se encuentran localizadas en /lbmk/bin/dell3050micro_vfsp_16mb.
En mi caso he escogido una rom con arranque seagrub en modo gráfico y teclado español (te recomiendo investigar las distintas opciones para escoger la que mejor se adapte a tus necesidades y a los sistemas operativos que quieras usar). La instrucción quedaría como sigue:
$ sudo ./flashprog -p internal -w ../../bin/dell3050micro_vfsp_16mb/seagrub_dell3050micro_vfsp_16mb_libgfxinit_corebootfb_esqwerty.rom
Después de todo el proceso de lectura, borrado, escritura, verificación... debe aparecerte VERIFIED. Si no es así puedes intentarlo de nuevo.
Si todo ha ido bien, lo que debes hacer ahora es APAGAR EL EQUIPO DIRECTAMENTE DESDE EL CABLE DE ALIMENTACIÓN, nunca desde el sistema operativo. Una vez que lo vuelvas a conectar arrancará con la bios de libreboot.
- Flasheo Externo -
Lo primero es preparar el firmware para la Raspberry Pico, para flashearla y que nos sirva de “puente”. Este proceso lleva unos minutos ya que compila el firmware para todos los dispositivos compatibles, no solo para la Pico.
$ cd lbmk
$ export XBMK_THREADS=4
$ ./mk -b pico-serprog
Ahora debemos conectar la Pico al equipo mediante el cable usb pero antes de conectarla debemos tener pulsado el pequeño botón blanco que trae. Esto hará que arranque como una unidad de almacenamiento externa y el equipo al que la conectes la detecte como tal.
En la ruta /lbmk/bin/serprog encontraremos todos los firmwares que acabamos de construir. Allí tenemos que buscar, seleccionar, copiar y pegar nuestro firmware (en nuestro caso serprog_pico.uf2) en la unidad de almacenamiento creada por la Raspberry Pico. Al hacer esto el firmware se instala automáticamente y el dispositivo dejará de funcionar como unidad de almacenamiento externa.
En este punto desconectamos la Pico físicamente. Abrimos el equipo a flashear, quitamos la pila (para que no exista otro voltaje del que le vamos a dar) y localizamos el chip de la bios, que está junto al conector wlan. Debemos fijarnos en una pequeña hendidura, que es la que marca el pin uno. Debemos además apuntar el identificador del chip (el código que trae impreso). Es recomendable verificar el chip en la web del fabricante para ver que la distribución de los pines coincide con el de nuestro diagrama (segunda imagen más abajo), la capacidad es la que se espera y el voltaje es correcto. La Pico 1 soporta una tensión máxima de 3,3v.
Ahora conectamos la pinza SOIC8 a la Raspberry Pico mediante los cables dupont siguiendo el siguiente diagrama.
Vale la pena repasar varias veces el esquema y las conexiones antes de conectar la pinza al chip. Si mandamos tensión a un pin que no debemos podríamos dañarlo.
Conectamos la pinza al chip. Para ello, fijándonos muy bien, ajustamos primero un lado y luego el otro de modo que quede bien fija. Se moverá un poco si lo fuerzas pero no debe saltar.
Con mucho cuidado de no mover la pinza, conectamos la Pico al equipo mediante el cable usb.
Una vez conectada, para localizar e identificar la Pico en nuestro sistema, debemos ejecutar
$ sudo dmesg
En la parte final de lo que nos muestra, debe aparecer un identificador tipo ttyACM*, donde el asterisco es un número (en mi caso ttyACM3). Debemos recordar este identificador para apuntar a él en los siguientes pasos.
Lo siguiente que vamos a hacer es utilizar la herramienta flashprog, primero para hacer una copia de seguridad de la bios instalada y posteriormente para flashear el chip de la bios.
Comenzamos con la copia de seguridad de la bios instalada (si no se concreta ninguna ruta se va a guardar por defecto en la carpeta desde donde estamos trabajando).
$ cd lbmk/elf/flashprog
$ sudo ./flashprog -p serprog:dev=/dev/ttyACM3,spispeed=16M -r sotck1.rom
Si flahsprog no reconoce nuestro chip y ofrece varias posibilidades, debemos elegir el identificador de chip más similar al nuestro (por eso era importante apuntar el identificador de nuestro chip) y añadirlo al final de la instrucción. Por ejemplo, si nos da la opción de varios identificadores como "ejemploA", "ejemploB" o "ejemploC" y el más parecido al nuestro es "ejemploB", deberíamos añadirlo de la siguiente forma (incluye las comillas).
$ sudo ./flashprog -p serprog:dev=/dev/ttyACM3,spispeed=16M -c "ejemploB" -r sotck1.rom
Una vez leído el chip y realizada la copia de seguridad, hacemos otra.
$ sudo ./flashprog -p serprog:dev=/dev/ttyACM3,spispeed=16M -r sotck2.rom
Y las comparamos.
$ diff stock1.rom stock2.rom
(también se puede usar $ sha512sum stock*.rom para comparar los hashes de ambos archivos y ver si coinciden).
Si no obtienes ningún resultado es indicativo de que ambas copias son iguales y todo fue correctamente. Si no es así, simplemente crea más copias y compáralas hasta que coincidan.
Llega el momento de la verdad, vamos a flashear el chip e instalar la bios que tenemos preparada. Tenemos que escoger que versión de la rom que hemos construido queremos instalar. Todas las versiones se encuentran en /lbmk/bin/dell3050micro_vfsp_16mb.
En mi caso he escogido una rom con arranque seagrub en modo gráfico y teclado español (te recomiendo investigar las distintas opciones para escoger la que mejor se adapte a tus necesidades y sobre todo a los sistemas operativos que vayas a usar).
La instrucción quedaría como sigue:
$ sudo ./flashprog -p serprog:dev=/dev/ttyACM3,spispeed=16M -w ../../bin/dell3050micro_v
En caso de que debamos determinar el chip porque en la lectura nos había mostrado varios posibles, al igual que entonces, debemos añadir el identificador más similar, tal como se hace en la lectura. El comando en ese caso quedaría así:
$ sudo ./flashprog -p serprog:dev=/dev/ttyACM3,spispeed=16M -c "ejemploB" -w ../../bin/dell3050micro_vfsp_16mb/seagrub_dell3050micro_vfsp_16mb_libgfxinit_corebootfb_esqwerty.rom
Después de todo el proceso de lectura, borrado, escritura, verificación… tras unos minutos, debe aparecerte VERIFIED. Si no es así puedes intentarlo de nuevo.
- Upgrade y Referencias -
Upgrade Dell Optiplex 3050 Micro
Aunque este equipo suele venir con procesadores intel serie 6 y 7, gracias a libreboot, este mini pc es compatible con procesadores intel serie 9 de cuatro núcleos. Pude probarlo con una cpu intel i3 9100t y 32 gb de RAM ddr4, dando un muy buen rendimiento con un bajo consumo.
Como referencia, este mini pc lo adquirí por unos 60€ de segunda mano (con un i5 serie 6, 8gb de ram y ssd de 256gb) y la cpu intel i3 9100t por unos 25€.
Referencias
libreboot.org/docs/install/spi.html
www.youtube.com/watch?v=w5ZjmF4JdMo
blog.yuuta.moe/2025/09/29/x230-libreboot
p2502.net/posts/libreboot-x230
www.youtube.com/watch?v=V9-zq4AgsvA
#libreboot #linux #seagrub #seabios #flashprog #spyware #me_cleaner #minipc #tutorial #freesoftware #bitcoinnode