#include #include #include #include #include #include "cfe_api.h" #include "cfe_error.h" extern int cfe_cons_handle; static void cfe_console_write(struct console *cons, const char *str, unsigned int count) { int i, last, written; for (i=0,last=0; i