/* * Copyright (C) 2008, 2009, 2010 Kaspar Schleiser */ #include #include #include #include #include #include int shell_readc() { char c = 0; posix_read(uart0_handler_pid, &c, 1); return c; } void shell_putchar(int c) { putchar(c); } int main(void) { puts("Welcome to ukleos!"); board_uart0_init(); posix_open(uart0_handler_pid, 0); shell_t shell; shell_init(&shell, _shell_command_list, shell_readc, shell_putchar); shell_run(&shell); return 0; }