Entre bastidores
Dos vías de instalación. Un sistema declarado.
Nixorium convierte la configuración del laboratorio en sistemas NixOS completos en el controlador. Un equipo vacío usa PXE o la ISO oficial NixOS por USB/SSH con revisión; uno instalado recibe una actualización separada con Colmena. El trabajo habitual se ejecuta localmente.
Configuración del laboratorioTu configuración + Nixorium fijadoajustes · módulos · claves públicas · recursos
Controlador
- 01Evaluar
- 02Compila
- 03Sirve
Sistemas de clientesinstalados localmente · activados como generaciones NixOS
01 · Rutas de ejecución
Instala, actualiza o arranca localmente.
El controlador prepara ambas vías de distribución, pero no es un servidor de escritorio remoto del aula. Cada equipo instalado ejecuta su propio sistema NixOS y sus aplicaciones.
Instalación PXE o USB/SSH
PXE carga el instalador en muchos equipos. USB/SSH verifica una ISO oficial NixOS cuando no hay arranque por red. Ambas vías convergen en el sistema firmado y la revisión de Disko.
Sigue ambas vías de instalación ↓Despliegue del sistema
Colmena se conecta por SSH, los clientes reciben las rutas preparadas del store desde Harmonia y NixOS activa una nueva generación.
Sigue la vía de actualización ↓Arranque y aplicaciones locales
El equipo arranca desde su disco y ejecuta el escritorio localmente. PXE, la instalación USB, Colmena y la vista de aula no intervienen en la ejecución ordinaria de aplicaciones.
Descubre el escritorio del alumnado →02 · Modelo del sistema
Framework y configuración del laboratorio separados.
La configuración inicial genera la configuración del laboratorio: un repositorio privado que fija Nixorium. Los ajustes y credenciales del laboratorio tienen un responsable distinto del framework público.
- 01 · Entorno live
Elige la fuente y el disco del controlador
El controlador arranca desde la ISO oficial NixOS (Minimal o Graphical) en modo UEFI con Internet. La configuración inicial resuelve la fuente elegida de Nixorium, aplica el teclado de consola, recoge cuentas y ajustes regionales y pide confirmar el disco que borrará.
- 02 · Configuración del laboratorio
Crea el repositorio privado del laboratorio
La configuración se genera desde la plantilla y fija Nixorium como fuente de referencia. El equipo instalado arranca en modo solo controlador con las cuentas y ajustes regionales reales; la red del laboratorio sigue inactiva.
- 03 · Gestión del laboratorio
Define el laboratorio cuando la red esté lista
Tras reiniciar, Installation → Network boot (PXE) recoge la topología, crea las claves que falten, activa el controlador y prepara los clientes configurados. Las claves privadas permanecen en el controlador.
Nixorium
Módulos, instaladores, valores predeterminados y función que genera el conjunto de equipos, todos versionados.
Fijado por la configuración del laboratorioTu laboratorio
Ajustes del laboratorio, personalizaciones por equipo, recursos, hashes de contraseñas y claves públicas de caché y SSH.
Las claves privadas permanecen en el controladorSistemas con nombre
Las configuraciones y artefactos evaluados que usan la instalación y el despliegue.
Una única fuente del estado deseadoLa configuración fija la fuente de Nixorium y sus dependencias. Cambiar un valor no modifica directamente un equipo en ejecución: cambia la entrada desde la que se evalúa y compila el sistema correspondiente.
lab-settings.jsonTopología gestionada, nombres de roles locales, hashes de contraseñas, red, idioma, teclado, página de inicio y otros valores tipados del laboratorio.
lab-software.jsonDeclaraciones de paquetes con ámbitos explícitos: compartido, controlador, grupo de clientes o cliente individual.
workspace-profile.jsonEl entorno del alumnado: dock, aspecto, extensiones y ajustes de VS Code y navegador predeterminado, editados en la TUI guiada y restaurados en cada arranque.
flake.lockLas revisiones exactas de Nixorium y de los paquetes NixOS. Update Nixorium y Update system and packages solo las cambian tras revisarlas.
modules/ + assets/Ajustes avanzados de puesto, desarrollo, perfiles home, equipos, identidad visual, editor y escritorio, a cargo del laboratorio.
keys/ + controller secretsLas claves públicas autorizadas de caché y SSH se pueden versionar. Las privadas correspondientes quedan fuera de los commits en el controlador y se instalan mediante el flujo gestionado.
Configuración inicial del controlador Flake de despliegue Esquema de configuración Generador de equipos
03 · Preparación
Evalúa, compila y publica.
- 01
Evalúa el laboratorio
La configuración genera un sistema NixOS con nombre para cada cliente, una configuración separada del controlador, un entorno de arranque por red, metadatos de Colmena y un paquete de instalación autónomo.
- 02
Compila en el controlador
Las entradas fijadas y la configuración compartida generan cada sistema cliente con todas sus dependencias, los artefactos de arranque PXE y el instalador remoto USB/SSH independiente del destino.
- 03
Publica dentro de la LAN
Harmonia expone rutas firmadas del store Nix. PXE publica su cadena de arranque; USB/SSH transfiere un asistente verificado a la ISO oficial NixOS. Los clientes reciben resultados preparados localmente en lugar de resolverlos y compilarlos desde Internet.
04 · Instalación por red
Dos vías hacia una instalación local.
PXE es lo recomendable para muchos equipos. USB/SSH permite instalar un equipo identificado físicamente sin arranque por red. Ninguno es un despliegue ordinario; ambos reemplazan el disco de destino tras una revisión explícita.
El Wi-Fi puede no ser compatible con PXE según hardware, firmware y red. USB/SSH admite Ethernet o Wi-Fi: el controlador debe poder conectarse por SSH al cliente live y este, acceder a la caché firmada.
Sigue la vía PXE
- 01DHCP + ProxyDHCP
Detecta el servicio de arranque
El DHCP del centro sigue asignando direcciones. El proceso dnsmasq de Nixorium responde solo al descubrimiento del arranque por red e indica al firmware UEFI dónde está el controlador.
- 02TFTP
Pasa a iPXE
El firmware recibe un pequeño ejecutable UEFI iPXE. Después, iPXE recibe el script de arranque generado por el mismo controlador.
- 03HTTP
Carga el entorno de instalación
El script descarga por HTTP el kernel NixOS y el ramdisk inicial preparados. El ramdisk contiene el código del instalador específico del despliegue.
- 04Disko + NixOS
Instala el equipo seleccionado
El operador identifica el PC y confirma el disco. Disko aplica el diseño UEFI y Btrfs declarado; NixOS instala la configuración de ese PC con las rutas firmadas servidas por Harmonia.
- 05Disco local
Sal del instalador de red
Tras instalarse, el equipo arranca desde su disco. PXE sirve para instalar y recrear sistemas, no es necesario para cada arranque habitual.
Sigue la vía de la ISO oficial NixOS por SSH
- 01ISO oficial NixOS
Arranca localmente una sesión live
El operador arranca NixOS 26.05 (Minimal o Graphical) en UEFI, conecta por Ethernet o Wi-Fi, establece una contraseña temporal y lee la IP y huella Ed25519 desde la consola física.
- 02Identidad SSH fijada
Vincula la identidad física y lógica
El controlador comprueba esa huella exacta antes de autenticar con contraseña, instala una clave específica de la operación y vincula un cliente configurado a la sesión live.
- 03Caché Harmonia firmada
Prepara un sistema exacto
El controlador compila el sistema seleccionado y sus dependencias. El cliente live solo acepta rutas firmadas de ese controlador y no recurre a Internet.
- 04Disko + NixOS
Revisa y reemplaza un disco
El medio de arranque se excluye. El operador elige explícitamente un disco apto y confirma una revisión vinculada a la sesión física, el equipo lógico, la revisión y el disco.
- 05Reinicio y verificación separados
Arranca el sistema instalado
Al terminar, el operador retira la memoria USB o reduce su prioridad, autoriza el reinicio por separado y verifica el equipo instalado y la revisión exacta. Las credenciales Wi-Fi live no se copian: prepara la conexión del sistema instalado antes de verificarlo.
El cliente no contacta con Internet en ninguna de las dos vías.
Los artefactos PXE o el asistente remoto y todas las rutas firmadas del store Nix proceden del controlador por tráfico local permitido. Este sigue necesitando Internet para la configuración inicial y nuevas entradas; Nixorium no inicia sesión en portales cautivos ni se salta las reglas de red.
Código del servicio PXE Código del instalador cliente Código del diseño de disco
05 · Actualizaciones del sistema
Despliega con Colmena.
Una vez instalado el equipo, el despliegue habitual usa su dirección estática del laboratorio por SSH. No repite la instalación del disco por PXE o USB/SSH.
- 01ConfiguraEdita o actualiza la configuración del laboratorio
- 02CompilaGenera los sistemas seleccionados en el controlador
- 03SirvePublica rutas firmadas del store mediante Harmonia
- 04DespliegaColmena se conecta por SSH a un cliente o al grupo del laboratorio
- 05ActivaNixOS registra la nueva generación del sistema
La configuración del controlador se aplica por separado. Después, el operador elige uno o varios clientes configurados; conviene probar primero un equipo representativo.
Definiciones de equipos para Colmena Configuración de caché de los clientes Generaciones NixOS y reversión
06 · Componentes
Componentes y responsabilidades.
Nixorium instala y configura estos componentes durante la preparación del laboratorio.
En pantallas estrechas, desplázate horizontalmente para leer todas las columnas. También puedes enfocar la tabla y usar las flechas.
| Componente | Función en Nixorium | Fase |
|---|---|---|
| Nix + NixOS | Fija entradas, valida módulos, compila sistemas completos y conserva las generaciones activadas. | Definición y compilación |
| Sistema de módulos NixOS + mkLab | Valida la configuración y genera configuraciones de controlador, clientes, arranque por red, instalador y despliegue. | Evaluación |
| Compilador y store de Nix | Compila los sistemas completos y los artefactos de arranque desde la definición fijada en el controlador. | Compila |
| Harmonia | Sirve rutas firmadas del store Nix desde el controlador a los clientes por la red local. | Instalación y actualización |
| dnsmasq, TFTP, HTTP e iPXE | Dirige los clientes UEFI al kernel y ramdisk preparados sin reemplazar el DHCP del centro. | Instala |
| OpenSSH + instalador remoto | Verifica una ISO oficial NixOS, vincula su huella física a un cliente configurado y lanza una instalación revisada con registros que resisten los reinicios. | Instala |
| Disko | Aplica el diseño declarado de particiones y sistemas de archivos al disco confirmado por el operador. | Instala |
| Colmena + OpenSSH | Selecciona un cliente o el grupo del laboratorio y coordina la activación remota desde el controlador. | Actualiza |
| Generaciones NixOS | Registra las configuraciones activadas para permitir volver a una generación anterior. Free disk space conserva las diez más recientes en cada equipo y el menú de arranque muestra como máximo diez. | Activación |
| age | Cifra con una contraseña la copia del controlador: configuración con su historial Git, claves privadas y claves de equipos de confianza. | Copia de seguridad |
| Vista de aula | Muestra al docente las pantallas de los alumnos y lleva el bloqueo, la pantalla compartida y el reparto de archivos por el acceso SSH existente; no instala ni despliega sistemas NixOS. | Gestión del aula |
07 · Límites
Límites de red y confianza.
- Conexión del controlador
- Necesita Internet para la configuración inicial y nuevas entradas de software aún no disponibles.
- Conexión de los clientes
- No necesita acceso directo a Internet para instalaciones o actualizaciones preparadas, pero sí acceso al controlador por la LAN permitida.
- Direcciones PXE
- Los artefactos de arranque generados usan la dirección DHCP del controlador. Si cambia antes de una sesión de arranque por red, hay que reconstruirlos.
- Identidad USB/SSH
- El operador debe estar presente para arrancar la ISO oficial NixOS, leer localmente su IP y huella Ed25519, elegir el disco y gestionar el medio de instalación.
- Despliegue habitual
- Colmena se conecta por SSH a los clientes instalados, en sus direcciones estáticas del laboratorio.
- Arranque y disco
- El instalador estándar actual requiere x86_64 UEFI y borra el disco de destino confirmado por el operador.
- Confianza y control
- Firmas de caché, comparación física de huellas, claves SSH, configuración, elección de destinos, revisión del disco y aplicación siguen siendo responsabilidad del operador.
- Límites de las credenciales
- Los clientes reciben material público autorizado. Las credenciales privadas de caché y SSH quedan en el controlador, fuera del código público versionado.
- Copia del controlador
- La copia cifrada contiene lo necesario para reemplazar el controlador sin reinstalar clientes. Guarda archivo y contraseña por separado: quien posea ambos puede gestionar el laboratorio.
- Supervisión del aula
- El agente de la vista de aula se ejecuta en la sesión del alumno sobre un socket privado y no abre ningún puerto de red. El controlador solo accede a él por su acceso SSH existente, y GNOME muestra su aviso de pantalla compartida mientras se captura la pantalla.