Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
d961ae9e1b6cfa86a6c3a3e4b47b9101b8a807f0
/
libsel4test
/
include
/
sel4test
/
testutil.h
600fe15
convert to SPDX license headers
by Gerwin Klein
· 4 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
1b0d324
trivial: style changed files
by Simon Shields
· 6 years ago
2bf38eb
sel4test: add RPC support
by Simon Shields
· 6 years ago
9571e8d
libsel4test: Add timeout and a util function for RPC Timer requests
by Hesham Almatary
· 7 years ago
44542c1
SELFOUR-1056: add support for periodic requests
by Hesham Almatary
· 7 years ago
8e3628e
SELFOUR-1056: add util enum to define communication codes between sel4test-test and sel4test-driver
by Hesham Almatary
· 7 years ago
b14dae4
sel4test: trivial, minor style fixes
by Anna Lyons
· 7 years ago
4856631
sel4test: refactor test result status into an enum
by Anna Lyons
· 7 years ago
32d031d
sel4test: simplify output buffering
by Anna Lyons
· 7 years ago
02a348d
SELFOUR-642 Fix typo (sel4test_start_new_test)
by Claudia Tu
· 7 years ago
1622553
SELFOUR-642 move parts of libsel4test that depend on other libraries to
by Claudia Tu
· 7 years ago