1. 2d0006f Add serial_server_flush to client.h by Anna Lyons · 7 years ago
  2. c05c7f4 Style fixes for libsel4serialserver by Claudia Tu · 7 years ago
  3. 4a22508 SELFOUR-1107 move serial server to own library by Claudia Tu · 7 years ago[Renamed (99%) from libsel4utils/src/serial_server/clientapi.c]
  4. 9214341 Fix licenses by Anna Lyons · 8 years ago
  5. 8a2af8b Correct various printing for 64bit compatibility by Adrian Danis · 8 years ago
  6. d5b4a4f libsel4utils: New serial server thread library by Kofi Doku Atuah · 9 years ago