-
Notifications
You must be signed in to change notification settings - Fork 59
Kernel Management fr
MiniOS est livré avec un noyau par défaut, mais il existe plusieurs raisons pour lesquelles vous pourriez vouloir le remplacer :
Debian propose plusieurs variantes de noyau optimisées pour différents cas d’utilisation :
-
linux-image-6.12.38+deb13-amd64- Noyau standard pour systèmes 64 bits (par défaut dans MiniOS) -
linux-image-6.12.38+deb13-rt-amd64- Noyau temps réel pour les applications critiques -
linux-image-6.12.38+deb13-cloud-amd64- Optimisé pour les environnements cloud et virtualisés
📝 Remarque : Les numéros de version (comme
6.12.38+deb13) évoluent avec les mises à jour. Pour trouver les noyaux actuellement disponibles :apt search linux-image-.*-amd64 apt search linux-image-.*-rt-amd64 apt search linux-image-.*-cloud-amd64
- Calcul temps réel – Noyaux RT pour la production audio, le contrôle industriel
- Jeux et faible latence – Noyaux personnalisés optimisés pour le gaming
- Renforcement de la sécurité – Noyaux avec correctifs de sécurité supplémentaires (grsecurity, etc.)
- Compatibilité matérielle – Noyaux récents pour le support du nouveau matériel
- Optimisation des performances – Noyaux compilés sur mesure avec optimisations spécifiques
- Correctifs personnalisés – Appliquez des correctifs spécifiques à votre matériel ou à votre usage
- Modules noyau – Ajoutez la prise en charge de matériels ou de systèmes de fichiers spécialisés
- Optimisations du compilateur – Compilez avec différents indicateurs d’optimisation
- Optimisation de la taille – Supprimez les pilotes inutiles pour réduire la taille du noyau
- Stations de travail audio – Utilisez un noyau RT pour une latence audio minimale
- Systèmes de jeu – Appliquez des correctifs et optimisations spécifiques au gaming
- Environnements serveurs – Utilisez des noyaux optimisés cloud pour une meilleure virtualisation
- Matériel ancien – Utilisez des noyaux plus anciens pour la compatibilité avec des systèmes vintage
- Systèmes de développement – Testez vos applications sur différentes versions du noyau
MiniOS propose deux outils pour la gestion des noyaux :
- 🖥️ MiniOS Kernel Manager (GUI) : Une application graphique conviviale pour empaqueter, installer et gérer les noyaux
- ⌨️ minios-kernel (CLI) : Un outil en ligne de commande pour les utilisateurs avancés et l’automatisation
Les deux outils gèrent automatiquement :
- L’empaquetage du noyau au format SquashFS
- La génération de l’initramfs avec les bons pilotes et scripts de démarrage
- L’installation dans le dépôt de noyaux MiniOS
- La mise à jour de la configuration du bootloader
- L’activation et le changement de noyau
- 🔑 Privilèges administrateur : Les deux outils nécessitent des privilèges administrateur et demanderont une authentification via PolicyKit
- 🔗 Compatibilité des noyaux : Assurez-vous que les noyaux sont compatibles avec MiniOS. Il est recommandé d’utiliser les noyaux du dépôt
-
💾 Répertoire MiniOS : Les outils détectent automatiquement le répertoire MiniOS (
/minios/) et vérifient les droits d’écriture - 🔄 Mises à jour automatiques : Les configurations du bootloader sont mises à jour automatiquement lors de l’activation d’un noyau
Le gestionnaire graphique de noyaux offre une interface intuitive pour toutes les opérations liées au noyau.
minios-kernel-managerOu recherchez "MiniOS Kernel Manager" dans le menu de vos applications.
Dans l’onglet Empaqueter un noyau :
-
Sélectionner la source du noyau :
-
Empaquetage manuel : Parcourez et sélectionnez un paquet noyau
.deblocal - Dépôt : Choisissez parmi les noyaux disponibles dans les dépôts Debian/Ubuntu
-
Empaquetage manuel : Parcourez et sélectionnez un paquet noyau
-
Configurer la compression :
- Sélectionnez la compression SquashFS :
zstd(recommandé),lz4,lzo,xzougzip
- Sélectionnez la compression SquashFS :
-
Empaqueter le noyau :
- Cliquez sur le bouton "Empaqueter le noyau"
- Suivez la progression dans le journal d’empaquetage
- Les fichiers sont automatiquement installés dans le dépôt MiniOS
Dans l’onglet Gérer les noyaux :
-
Voir les noyaux disponibles :
- Affiche tous les noyaux empaquetés avec des badges d’état :
- ACTIF : Noyau actuellement configuré
- EN COURS : Noyau actuellement démarré
- DISPONIBLE : Disponible pour activation
- Affiche tous les noyaux empaquetés avec des badges d’état :
-
Activer un noyau :
- Faites un clic droit sur un noyau et sélectionnez "Activer le noyau"
- Confirmez la boîte de dialogue d’activation
- La configuration du bootloader est mise à jour automatiquement
-
Supprimer un noyau :
- Faites un clic droit sur un noyau inactif et sélectionnez "Supprimer le noyau"
- Confirmez la suppression (action irréversible)
L’outil en ligne de commande permet une gestion scriptable des noyaux.
L’outil CLI nécessite les droits root et les vérifie automatiquement. Exécutez les commandes avec sudo ou via pkexec :
sudo minios-kernel list
<a id="or"></a>
# or
pkexec minios-kernel activate 6.12.38+deb13-amd64sudo minios-kernel listAffiche tous les noyaux empaquetés avec leur statut.
Depuis le dépôt :
sudo minios-kernel package --repo linux-image-6.12.38+deb13-amd64 -o /tmp/kernel-outputDepuis un fichier .deb local :
sudo minios-kernel package --deb /path/to/kernel.deb -o /tmp/kernel-outputAvec une compression personnalisée :
sudo minios-kernel package --repo linux-image-6.12.38+deb13-rt-amd64 --sqfs-comp lz4 -o /tmp/kernel-outputsudo minios-kernel activate 6.12.38+deb13-amd64sudo minios-kernel delete 6.12.38+deb13-amd64sudo minios-kernel statusAffiche le statut du répertoire MiniOS et les informations sur le noyau en cours.
sudo minios-kernel info # Information about current active kernel
sudo minios-kernel info 6.12.38+deb13-amd64 # Information about specific kernelAffiche des informations détaillées sur un noyau spécifique, y compris son statut et sa disponibilité.
sudo minios-kernel --json list
sudo minios-kernel --json status
sudo minios-kernel --json info
sudo minios-kernel --json package --repo linux-image-6.12.38+deb13-amd64 -o /tmp/output
sudo minios-kernel --json activate 6.12.38+deb13-amd64
sudo minios-kernel --json delete 6.12.38+deb13-amd64<a id="use-custom-temporary-directory-requires-at-least-1024mb-free-space"></a>
# Use custom temporary directory (requires at least 1024MB free space)
sudo minios-kernel package --repo linux-image-6.12.38+deb13-rt-amd64 -o /tmp/output --temp-dir /custom/temp
<a id="force-package-lists-update-if-outdated"></a>
# Force package lists update if outdated
sudo minios-kernel package --repo linux-image-6.12.38+deb13-rt-amd64 -o /tmp/output --force-updateminios-kernel --help # General help (doesn't require root)
sudo minios-kernel package --help # Package command help
sudo minios-kernel list --help # List command help
sudo minios-kernel activate --help # Activate command help
sudo minios-kernel info --help # Info command help
sudo minios-kernel status --help # Status command help
sudo minios-kernel delete --help # Delete command help- Cause : Les outils ne trouvent pas le répertoire MiniOS
- Solution : Vérifiez que vous êtes bien sur un système MiniOS ou que la clé USB est correctement montée
-
Vérification : Exécutez
sudo minios-kernel statuspour vérifier la détection du répertoire
- Cause : Le répertoire MiniOS est en lecture seule ou les droits sont insuffisants
- Solution : Assurez-vous d’avoir les droits administrateur et que le système de fichiers est accessible en écriture
- Vérification : Vérifiez le statut du répertoire MiniOS dans le GUI ou le CLI
- Cause : Paquet corrompu, problème réseau ou dépendances manquantes
-
Solution :
- Vérifiez l’intégrité du fichier paquet
- Vérifiez la connectivité réseau pour les paquets du dépôt
- Mettez à jour la liste des paquets :
sudo apt update
- Cause : Noyau incompatible ou pilotes manquants
-
Solution :
- Démarrez en mode secours ou avec un noyau précédent
- Utilisez
sudo minios-kernel activate <working-version>pour activer un noyau fonctionnel connu - Vérifiez la compatibilité du noyau avec votre matériel
- Cause : La configuration du bootloader n’a pas été mise à jour correctement
-
Solution :
- Relancez l’activation du noyau :
sudo minios-kernel activate <version> - Vérifiez que le noyau a bien été empaqueté et installé
- Relancez l’activation du noyau :
- Cause : Pilotes manquants dans le nouveau noyau
-
Solution :
- Vérifiez que le module noyau SquashFS a été installé
- Vérifiez si le nouveau noyau prend en charge votre matériel
- Envisagez d’utiliser une autre variante de noyau
Si vous devez restaurer un noyau corrompu ou incompatible, vous pouvez démarrer depuis l’ISO/USB MiniOS d’origine :
<a id="boot-from-original-minios-image-with-from-parameter"></a>
# Boot from original MiniOS image with from= parameter
<a id="at-boot-prompt-specify-your-installed-minios-device"></a>
# At boot prompt, specify your installed MiniOS device
from=/dev/sda1 # Replace with your actual MiniOS deviceProcédure de récupération :
Lorsque vous démarrez depuis l’image ISO/USB MiniOS d’origine et que vous indiquez dans le paramètre from= le périphérique où MiniOS est installé, le système d’initialisation le détecte et vous permet d’accéder à votre installation MiniOS. La méthode de récupération dépend de la présence ou non des fichiers noyau d’origine :
-
Si le noyau d’origine existe encore :
- Le démarrage s’effectue normalement avec le noyau d’origine depuis l’ISO/USB
- Activez manuellement le noyau d’origine :
sudo minios-kernel activate <original-kernel-version>
-
Si le noyau d’origine a été supprimé :
- Copiez manuellement les fichiers noyau depuis l’image MiniOS d’origine et restaurez-les aux emplacements appropriés sur votre installation MiniOS
- Activez manuellement le noyau restauré :
sudo minios-kernel activate <original-kernel-version>
Dans les deux cas, l’activation du noyau nécessite une intervention manuelle après la récupération.
Vérifier l’état actuel du système :
sudo minios-kernel status
sudo minios-kernel info # Current active kernel info
uname -r # Current running kernel
cat /proc/version # Kernel version details
lsmod # Loaded kernel modulesVérifier les fichiers du noyau :
ls -la /minios/kernels/ # List packaged kernels
ls -la /minios/boot/ # List boot filesVérifier la configuration du bootloader :
grep -r "vmlinuz" /minios/boot/ # Find kernel references in boot configsLe gestionnaire de noyau MiniOS gère automatiquement ces fichiers :
/minios/
├── 01-kernel.sb # Active kernel module (standard location)
├── kernels/ # Repository of inactive/alternative kernels
│ ├── 01-kernel-<version>.sb # SquashFS kernel modules
│ ├── vmlinuz-<version> # Kernel binaries
│ └── initrfs-<version>.img # Initial RAM filesystems
├── boot/
│ ├── vmlinuz-<version> # Active kernel binary
│ ├── initrfs-<version>.img # Active initial RAM filesystem
│ ├── syslinux/
│ │ └── syslinux.cfg # SYSLINUX bootloader config
│ └── grub/
│ └── grub.cfg # GRUB bootloader config
Remarque : Le module standard 01-kernel.sb fourni avec MiniOS contient des pilotes supplémentaires par rapport à ceux inclus dans les paquets kernel du dépôt d’origine. Ces pilotes additionnels offrent une meilleure compatibilité matérielle pour les adaptateurs sans fil et les périphériques de stockage.
- ACTIF : Kernel configuré dans le bootloader (sera lancé au prochain redémarrage)
- EN COURS : Kernel actuellement en cours d’exécution
- DISPONIBLE : Packagé et prêt à être activé
- ✅ Packaging et compression du kernel
- ✅ Génération de l’initramfs avec les bons pilotes
- ✅ Installation dans le dépôt MiniOS
- ✅ Mise à jour de la configuration du bootloader
- ✅ Gestion des liens symboliques pour les kernels actifs
- ✅ Nettoyage des fichiers temporaires
- Utilisez de préférence les kernels des dépôts officiels Debian/Ubuntu
- Testez les nouveaux kernels d’abord en environnement non productif
- Gardez au moins un kernel fonctionnel connu pour la récupération
- Vérifiez que le répertoire MiniOS est accessible en écriture
- Assurez-vous d’avoir suffisamment d’espace disque (les kernels peuvent faire entre 100 et 500 Mo)
- Mettez à jour la liste des paquets pour les kernels du dépôt
- Testez minutieusement le nouveau kernel
- Vérifiez que tout le matériel fonctionne correctement
- Conservez l’ancien kernel en sauvegarde tant que le nouveau n’a pas prouvé sa stabilité
- Gardez toujours une sauvegarde d’un kernel fonctionnel
- Sachez comment démarrer depuis un média de secours si nécessaire
- Documentez les kernels compatibles avec votre configuration matérielle
🌐 Languages
📋 About MiniOS
🚀 Installation
⚙️ Configuration
🛡️ Administration
🛠️ Development
📋 Über MiniOS
🚀 Installation
- Schnellstartanleitung
- Hardware-Kompatibilität
- MiniOS Installation
- MiniOS Installer
- USB-Erstellungstools
⚙️ Konfiguration
🛡️ Administration
🛠️ Entwicklung
📋 Acerca de MiniOS
🚀 Instalación
- Guía de Inicio Rápido
- Compatibilidad de Hardware
- Instalando MiniOS
- Instalador de MiniOS
- Herramientas para Crear USB
⚙️ Configuración
- Menús de Arranque
- Parámetros de Arranque
- Archivo de Configuración
- Parámetros de live-config
- Gestión de Sesiones
🛡️ Administración
- Lista de Paquetes
- Gestión del Kernel
- Endurecimiento de Seguridad
- Optimización de Rendimiento
- Virtualización
🛠️ Desarrollo
📋 À propos de MiniOS
🚀 Installation
- Guide de démarrage rapide
- Compatibilité matérielle
- Installation de MiniOS
- Programme d’installation MiniOS
- Outils de création USB
⚙️ Configuration
- Menus de démarrage
- Paramètres de démarrage
- Fichier de configuration
- Paramètres live-config
- Gestion de session
🛡️ Administration
- Liste des paquets
- Gestion du noyau
- Renforcement de la sécurité
- Optimisation des performances
- Virtualisation
🛠️ Développement
📋 Tentang MiniOS
🚀 Instalasi
- Panduan Mulai Cepat
- Kompatibilitas Perangkat Keras
- Menginstal MiniOS
- Installer MiniOS
- Alat Pembuatan USB
⚙️ Konfigurasi
🛡️ Administrasi
🛠️ Pengembangan
📋 Informazioni su MiniOS
🚀 Installazione
- Guida Rapida
- Compatibilità Hardware
- Installazione di MiniOS
- Installatore MiniOS
- Strumenti per Creare USB
⚙️ Configurazione
🛡️ Amministrazione
- Elenco Pacchetti
- Gestione Kernel
- Rafforzamento della Sicurezza
- Ottimizzazione Prestazioni
- Virtualizzazione
🛠️ Sviluppo
📋 Sobre o MiniOS
🚀 Instalação
- Guia de Início Rápido
- Compatibilidade de Hardware
- Instalando o MiniOS
- Instalador do MiniOS
- Ferramentas de Criação de USB
⚙️ Configuração
- Menus de Boot
- Parâmetros de Boot
- Arquivo de Configuração
- Parâmetros live-config
- Gerenciamento de Sessão
🛡️ Administração
- Lista de Pacotes
- Gerenciamento de Kernel
- Reforço de Segurança
- Otimização de Desempenho
- Virtualização
🛠️ Desenvolvimento
📋 О MiniOS
🚀 Установка
- Краткое руководство
- Совместимость с оборудованием
- Установка MiniOS
- Установщик MiniOS
- Инструменты для создания USB
⚙️ Конфигурация
🛡️ Администрирование
🛠️ Разработка