00001 00007 /* Embedded XINU, Copyright (C) 2007. All rights reserved. */ 00008 00009 #include <kernel.h> 00010 #include <uart.h> 00011 #include <device.h> 00012 00018 devcall uartPutChar(device *pdev, uchar ch) 00019 { 00020 return uartWrite(pdev, &ch, 1); 00021 } 00022