kolibrios/contrib/C_Layer/libguic_kolibri/kolibri_debug.h

#ifndef KOLIBRI_DEBUG_H
#define KOLIBRI_DEBUG_H

/* Write a printf() like function (variable argument list) for
   writing to debug board */

inline void debug_board_write_byte(const char ch){
    __asm__ __volatile__(
    "int $0x40"
    :
    :"a"(63), "b"(1), "c"(ch));
}

//added noninline because incofortabre stepping in in debugger
void __attribute__ ((noinline)) debug_board_write_str(const char* str){
  while(*str)
    debug_board_write_byte(*str++);
}


#endif /* KOLIBRI_DEBUG_H */