History log of /seL4-test-master/projects/sel4test/libsel4testsupport/CMakeLists.txt
Revision Date Author Comments
# 3d7586eb 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

sel4test: remove autoconf.h from sel4test

this commit removes autoconf.h generation from sel4test and
append '#include <sel4test/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# a06d2924 18-Sep-2017 Claudia Tu <claudia.tu@unsw.edu.au>

SELFOUR-1107 fix references to serial server
because serial server is now in a separate library


# 0aef81f1 14-Sep-2017 Claudia Tu <claudia.tu@unsw.edu.au>

Add CMake configuration files