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 }