ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
b43a5f1255
genode/os/src/server/log_terminal
History
Norman Feske f51c4be5d2 Server for writing terminal output to LOG session 
Fixes #947
2013-11-12 17:59:29 +01:00
..
main.cc Server for writing terminal output to LOG session 2013-11-12 17:59:29 +01:00
target.mk Server for writing terminal output to LOG session 2013-11-12 17:59:29 +01:00