7#include <manux/config.h>
40 printk(
"Memoire : %d + %d Ko\n",
void initialiserHorloge(void)
Initialisation du système d'horloge.
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 consoleNoyauAfficher(char *msg)
Affichage d'un message sur la console noyau.
void initialiserMemoire(uint32_t tailleMemoireDeBase, uint32_t tailleMemoireEtendue)
Initialisation de la mémoire au niveau pages.
void printk(char *format,...)
Fonction principale d'affichage dans le noyau.
void i8259aInit(uint8_t intBase)
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.
#define MANUX_INT_BASE_IRQ
void initialiserScheduler(void)
Identifiant de la tâche actuellement en cours d'exécution dans le noyau (0 si aucune)
: Définition du type décrivant une tache.