7#include <manux/config.h>
8#include <manux/errno.h>
78#if defined(MANUX_TACHES) && !defined(MANUX_REENTRANT)
80 sortirExclusionMutuelle(&verrouGeneralDuNoyau);
void initialiserHorloge(void)
Initialisation du système d'horloge.
void initialiserAppelsSysteme(void)
Définition des fonctions de base d'accés à la console.
Définition des outils de journalisation des messages du noyau.
void journalInitialiser(void)
Initialisation du système de journalisation.
void initialiserMemoire(uint32_t tailleMemoireDeBase, uint32_t tailleMemoireEtendue)
Initialisation de la mémoire au niveau pages.
Définition des fonctions de base d'entrée-sortie du noyau.
void initialiserIDT(void)
! Initialiser l'IDT (Interrupt Description Table)
void kmallocInitialisation(void)
Initialisation du sytème kmalloc.
Interfaçage avec les bootloader.
InfoSysteme infoSysteme
Stockage des informations décrivant le système fournies par le bootloader.
void bootloaderInitialiser(void)
Lecture des informations fournies par le bootloader.
void initialiserClavier(void)
#define printk_debug(lvl, fmt, args...)
void initialiserScheduler(void)
Identifiant de la tâche actuellement en cours d'exécution dans le noyau (0 si aucune)
void initialiserGDT(void)
: Un INoeud représente un fichier, d'un point de vue statique Il s'agit donc de la description d'un f...