I am new to the SDCC compiler and would like to use the serial port on the 80C552 controller. I know that I can't simply use printf() as I normally would and need the putchar() function. I am sure this has been done many times so do you know where I can get this function?