1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years, 1 month ago
  2. 74de7fe trivial: typo by Luca(Wei) Chen · 4 years, 6 months ago
  3. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  4. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  5. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  6. 559fb22 seL4_libs: specify linking method by Yu Hou · 6 years ago
  7. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  8. 113f7c1 serialserver: Remove sel4test library dependency by Kent McLeod · 6 years ago
  9. c16334d sel4serialserver: Create separate lib for tests by Kent McLeod · 6 years ago
  10. 6b2bbe6 CMake: Mark config options as advanced by Kent McLeod · 6 years ago
  11. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 6 years ago
  12. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 7 years ago
  13. c562ec2 Fix serialserver config definition by Kent McLeod · 7 years ago
  14. ce77936 sel4serialserver: name the parent thread by Anna Lyons · 7 years ago
  15. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  16. ba3c28d sel4test: Declare env struct formally in libsel4test by Adrian Danis · 7 years ago
  17. 75e258f output clients in different colors by Anna Lyons · 7 years ago
  18. 2d0006f Add serial_server_flush to client.h by Anna Lyons · 7 years ago
  19. d9dfbe7 SELFOUR-1083 rename DEFINE_TEST_MAYBE to DEFINE_TEST by Claudia Tu · 7 years ago
  20. c05c7f4 Style fixes for libsel4serialserver by Claudia Tu · 7 years ago
  21. 0becd7e libsel4serialserver: Fix build dependencies by Adrian Danis · 7 years ago
  22. 4a22508 SELFOUR-1107 move serial server to own library by Claudia Tu · 7 years ago