| #
7263e5a5 |
|
18-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
sel4test: explicitly link sel4_autoconf
since the global conf lib is going be removed, we need to explicitly
linke each project with sel4_autoconf and other config libs
this commit also removed a bunch of unused includes as well as
HAVE_AUTOCONF ifdef checking.
|
| #
92fa60fe |
|
12-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
Trivial: style fix
make the style checker happy
|
| #
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'
|
| #
0a435969 |
|
25-Mar-2019 |
Curtis Millar <curtis.millar@data61.csiro.au> |
TLS is now supported on RISC-V.
|
| #
66175857 |
|
06-Nov-2018 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
tls: Use platform width types in test_eq checks
test_eq does a sizeof comparison as well as a value comparison.
|
| #
e5dff7a3 |
|
06-Nov-2018 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
sel4test: Add missing include
|
| #
40ad96ee |
|
06-Nov-2018 |
Curtis Millar <curtis.millar@data61.csiro.au> |
Move existing TLS tests to tls.c
|
| #
816d59ae |
|
11-Aug-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Tests for TLS
|