00001 
00002 
00003 
00004 
00005 
00006 
00007 
00008 
00009 
00010 
00011 
00012 
00013 
00014 
00015 
00016 
00017 #include <stdio.h>
00018 #include <kio.h>
00019 
00027 
00028 #define OK      1
00029 #define CONSOLE 0
00030 
00031 void TTY_outchar (char c);
00032 char TTY_inchar ();
00033 
00034 
00035 
00040 inline char _LIBC_inbyte ()
00041 {
00042         return (TTY_inchar ());
00043 }
00044 
00049 inline void _LIBC_outbyte (char c)
00050 {
00051         TTY_outchar (c);
00052 }
00053 
00058 void LIBC_outstring (char *str)
00059 {
00060         char *ptr;
00061 
00062         ptr = str;
00063         while (ptr[0] != (char) 0)
00064                 TTY_outchar (*ptr++);
00065 
00066 }
00067 
00068 
00073 void _exit (int status)
00074 {
00075         printf ("\n\r **** PROGRAM EXIT ****");
00076         printf ("\n\r **** EXIT CODE %d ****\n\r", status);
00077 }