7#include <manux/config.h>
22 for (
int n = 0; n < 10; n++) {
29 for (
int n = 0; n < 10; n++) {
45 printk(
"Memoire : %d + %d Ko\n",
66 printk(
"Creation de deux taches ...\n");
69 tacheSetConsole(t0, creerConsoleVirtuelle());
73 tacheSetConsole(t1, creerConsoleVirtuelle());
76 for (
int i = 0; i < 2; i++) {
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 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 printk(char *format,...)
Fonction principale d'affichage dans le noyau.
#define printkc
Une version de printk qui écrit dans la console de la tâche en cours.
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)
void initialiserScheduler(void)
Identifiant de la tâche actuellement en cours d'exécution dans le noyau (0 si aucune)
void ordonnanceurAddTache(Tache *tache)
Ajout d'une tâche dans l'ordonnanceur.
void initialiserGDT(void)
: Définition du type décrivant une tache.
Tache * tacheCreer(CorpsTache corpsTache)
Création d'une nouvelle tâche.