| #
d6d8f604 |
|
21-Aug-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS
This is to be consistent with the name defined in the kernel.
|
| #
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
|
| #
3cf7ce83 |
|
22-Jan-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-1016: Update for TCB api change
|
| #
25630ea2 |
|
07-Sep-2017 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-1056/sel4test: Add backend support for timer server and wait for tests
SELFOUR-1056/sel4test: move timer interrupt tests for sel4test-test to sel4test-driver
* Add time-related helper files.
* Move code in sel4test/tests/interrupts to sel4test-driver/src/tests/timer.c
* Add a new function to do sel4test-driver tests before sel4test-test tests
|
| #
d07b2383 |
|
27-Sep-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
SELFOUR-1130 Refactor tests to use new DEFINE_TEST
These changes turn tests on and off with the new `enabled` argument in
DEFINE_TEST instead of using #ifdefs.
|
| #
43f4af23 |
|
26-Sep-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
SELFOUR-1083 refactoring related to renaming DEFINE_TEST_MAYBE to DEFINE_TEST
|
| #
d3fcdadd |
|
26-Sep-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
SELFOUR-1083 refactor tests because DEFINE_TEST_MAYBE was renamed to DEFINE_TEST
|
| #
6a9a1367 |
|
23-Aug-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
MCS: tests for interrupts + scs
|
| #
bb173222 |
|
20-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Use ltimer interface in sel4test
- remove all plat specific timer code
- new timers don't need any code added to sel4test!
- also remove plat_copy_serial caps as it is empty for all cases
|
| #
b5ac337a |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
ffe35c4f |
|
05-Oct-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Tweak timer tests now that we have an accurate timer
x86 now uses the HPET which has too consequences:
+ the poll time on the domains test was too short, increased
+ we can now wait a second in test_interrupt, which is a lot easier
to observe basic timer accuracy for when porting to a new platform
|
| #
6ae70227 |
|
16-Nov-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Remove 'args' parameter to test cases.
This commit removes the state parameter to test cases, which was unused in all
tests. In three years, no test has required this parameter. I think it's time
to ditch this dead weight. It can be reintroduced if necessary later.
Note that this change is interdependent with changes to libsel4test.
|
| #
8c054da4 |
|
12-Nov-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
bandaid to get sel4test to output the correct number of tests passing
|
| #
7f1809de |
|
21-Jul-2014 |
TrustworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|