#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 */