libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.
[barrelfish] / lib / barrelfish / terminal.c
2013-06-26 Raphael Fuchslibbarrelfish: Adjust libbarrelfish to new terminal...
2012-02-12 Gerd ZellwegerAdjusted some error values in code to remove references...
2012-01-11 Andrew Baumanndon't block on the serial binding if you never initiated it
2012-01-10 Simon Gerberterminal.c: Added event_dispatch on the default waitset
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.