-#include "hfal/hfal_skein256.h"
-#include "hfal/hfal_skein512.h"
-#include "hfal/hfal_skein1024.h"
-
-
-void uart0_putc(char byte){
- uart_putc(UART_0, byte);
-}
-
-char uart0_getc(void){
- return uart_getc(UART_0);
-}
+#include "hfal_skein256.h"
+#include "hfal_skein512.h"
+#include "hfal_skein1024.h"