int
console_putchar(int c)
{
unsigned char foo = (unsigned char) c;
return console_putbytes(&foo, 1);
}
static OSKIT_COMDECL
write(oskit_ttystream_t *si, const void *buf, oskit_u32_t nb,
oskit_u32_t *out_actual)
{
extern int console_putbytes(const char *, int length);
console_putbytes((const char *) buf, (int) nb);
*out_actual = nb;
return 0;
}
int
console_puts(const char *str)
{
int rc;
int len = strlen(str);
if ((rc = console_putbytes(str, len)) == EOF)
return EOF;
else
return console_putchar('\n');
}
static void
flush(struct printf_state *state)
{
/*
* It would be nice to call write(1,) here, but if fd_set_console
* has not been called, it will break.
*/
console_putbytes((const char *) state->buf, state->index);
state->index = 0;
}
// afficher l'uptime
void affiche_heure(char *chaine, int32_t taille) {
// sauvegarde la position du curseur actuel
uint32_t xligne = ligne;
uint32_t xcolonne = colonne;
// l'heure est en haut a droite
ligne = 0;
colonne = 80 - strlen(chaine);
// affiche une chaine qui represente l'uptime
console_putbytes(chaine, taille);
// remet le curseur au bon endroit
ligne = xligne;
colonne = xcolonne;
place_curseur(ligne, colonne);
}
/**
* Ecrit en haut à droite de l'écrant
* @param s: la chaine de caractère à écrire en haut à droite
* DOIT ETRE < 80 caractères
*/
void print_ne(const char *s)
{
// taille de la chaine à afficher
size_t len = strlen(s);
if (len <= COL) { // TODO: quoi faire si la chaine > 80 caractères
// sauvegarde de la position actuelle du curseur
uint16_t cur = pos_curseur;
// placement du curseur pour affichage en haut à droite
pos_curseur = COL-len;
console_putbytes(s,len);
pos_curseur = cur;
put_cursor(cur/COL,cur%COL);
}
}
void
base_console_init(int argc, char **argv)
{
console_putbytes("base_console_init called!",
strlen("base_console_init called!"));
}
int cons_write(const char *str, long size)
{
console_putbytes((char *) str, size);
return 0;
}
