main-debmaskdyn.c

Aller à la documentation de ce fichier.

 
#include <manux/config.h>
#include <manux/types.h>     // TRUE
#include <manux/console.h>   // Pour printk
#include <manux/printk.h>
#include <manux/memoire.h>
#include <manux/bootloader.h>
 
#include <manux/debug.h>
 
void startManuX()
{
   // Initialisation de la console noyau
   consoleInitialisation();
 
   bootloaderInitialiser();
 
   initialiserMemoire(infoSysteme.memoireDeBase,
              infoSysteme.memoireEtendue);
 
   // Initialisation du système de debug
   debugInitialiser();
   
   // On peut maintenant analyser la ligne de commande
   bootloaderLireLigneCmd();
 
   // Affichage des masques, pour le plaisir
   printk("Masques de debug : 0x%x (console) et 0x%x (fichier)\n",
      masqueDebugageConsole, masqueDebugageFichier);
 
   // Quelques messages de debug, pour vérifier
   printk_debug(DBG_KERNEL_START, "Message de start\n");
   printk_debug(DBG_KERNEL_BOOTLOADER, "Message de debug du bootloader\n");
   printk_debug(DBG_KERNEL_A_FAIRE, "Message a faire\n");
}   /* startManuX */