#
9bd8d1d5 |
|
03-Apr-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
#
a8c4d257 |
|
22-Feb-2017 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
flounder: making const pointers in receiving handlers, using CONST_CAST as a temporary solution in few places but finally it should be removed Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
#
bde9b9d6 |
|
26-Jun-2013 |
Raphael Fuchs <fuchs.raphael@gmail.com> |
vmkitmon: Adjust vmkitmon to new terminal API. Modify the virtual PC16550d driver allowing to connect a virtual serial port to a host serial port. This patch also fixes serial input, which previously was broken.
|
#
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|