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