init-reentrance.c

Aller à la documentation de ce fichier.

 
#include <manux/types.h>
#include <stdio.h>
#include <manux/errno.h>
#include <unistd.h>   // creerNouvelleTache
#include <manux/string.h>
 
void init()
{
   printf("Bonjour le mode utilisateur !\n");
 
   while(1){};
}