genode/ports/src
Josef Söntgen 7f359a5978 Noux: add stdio_file_system
This file-system provides a connection to the terminal through a device
node, e.g. /dev/tty.
2012-11-26 20:58:09 +01:00
..
app cpu_session: Access thread state by value 2012-11-23 12:20:22 +01:00
lib Noux: add TIOCSETAF/W support 2012-11-26 20:58:09 +01:00
noux Noux: add stdio_file_system 2012-11-26 20:58:09 +01:00
noux-pkg Noux: make install target configurable 2012-11-22 09:21:53 +01:00
test libc_noux test 2012-08-09 11:09:43 +02:00
vancouver cpu_session: Access thread state by value 2012-11-23 12:20:22 +01:00