11#include <manux/config.h>
13#include <manux/errno.h>
24#include <manux/appelsysteme.h>
76#if defined(MANUX_TACHES)
77# if defined(MANUX_REENTRANT)
Définition des opérations de synchronisation de ManuX.
Définition des exlusions mutuelles.
void exclusionMutuelleSortir(ExclusionMutuelle *em)
void initialiserHorloge(void)
Initialisation du système d'horloge.
void initialiserAppelsSysteme(void)
Définition des fonctions de base d'accés à la console.
int consoleInitialisation(void)
Initialisation du système de console sans notion de fichier.
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)
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...