timer: Convert to new-style CONFIG_XYZ parameters

[bertos.git] / bertos / drv / kdebug.c

diff --git a/bertos/drv/kdebug.c b/bertos/drv/kdebug.c
index ac90ff038d8f9955b3e26874f9cca4c10d663ce9..1f8725502a9a3d4f601085ab8a0f1dbf992afc02 100644 (file)
--- a/bertos/drv/kdebug.c
+++ b/bertos/drv/kdebug.c
@@ -48,7 +48,7 @@
 #include <cpu/types.h>
 
 #include <mware/formatwr.h> /* for _formatted_write() */
-#include <mware/pgm.h>
+#include <cpu/pgm.h>
 
 #ifdef _DEBUG
 
@@ -60,7 +60,7 @@
 #if OS_HOSTED
        #include <stdio.h>
        #define KDBG_WAIT_READY()      do { /*nop*/ } while(0)
-       #define KDBG_WRITE_CHAR(c)     putc((c), stderr)
+       #define KDBG_WRITE_CHAR(c)     do { char __c = (c); write(2, &__c, sizeof(__c)); } while(0)
        #define KDBG_MASK_IRQ(old)     do { (void)(old); } while(0)
        #define KDBG_RESTORE_IRQ(old)  do { /*nop*/ } while(0)
        typedef char kdbg_irqsave_t; /* unused */