[seL4] This checkin cause a build error

Hi, This checkin cause a build error: Drop static qualifier from tests so that C++ compilers will use extern C linkage instead of name mangling https://github.com/seL4/libsel4test/commit/930744eaf43260ceb37ce2793eefbe77c d808ff0 the error information: .../libs/libsel4test/src/test.c:161: undefined reference to `__start__test_case' .../libs/libsel4test/src/test.c:161: undefined reference to `__stop__test_case' Xilong Pei Tongji University 2015/7/13