#
9093c7bc |
|
19-Sep-2019 |
Qian Ge <qian.ge@data61.csiro.au> |
switch arm_smmu to tk1_smmu Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
|
#
839a9873 |
|
14-Sep-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Explicitly set cspace_size_bits in new processes libsel4utils allows you to specify the size of a new processes cspace in its interface. Relying on changing the library's default by changing the value of LibSel4UtilsCSpaceSizeBits is much less flexible.
|
#
48ff3899 |
|
29-Jul-2019 |
Damon Lee <Damon.Lee@data61.csiro.au> |
sel4test-driver,tests: Alloc and copy device frame This commit adds logic to the driver and 'test' to allocate and copy a device frame across. This is to fix a particular test and allow other tests in the future to be able to use this device frame in their unit tests.
|
#
a666b87d |
|
14-Jul-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
test_init_data_t: Remove serial object fields These fields are no longer used as the serial objects are dynamically allocated via a different RPC mechanism.
|
#
1899facd |
|
14-Jul-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Move test_init_data_t compile assert As the compile time assert doesn't need to be executed at runtime, it doesn't need to exist in the main function and can be placed under the struct definition that it refers to.
|
#
f536997e |
|
28-Nov-2017 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Rebase and comment non-relevant RISC-V code/test
|
#
efe7c37c |
|
26-Apr-2017 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
RISCV port
|
#
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
|
#
e9ffaa3e |
|
10-Oct-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
sel4test-test: Remove env for basic tests This environment type is moved to libsel4test so that tests that are not declared in this application can see their environment type.
|
#
8a4a7ee0 |
|
28-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
minor refactor of test extraction - remove duplicated code by adding collate_tests function which also means now all test types will check the .enabled field. - null terminate testname strings to avoid nasty strcmp failure - don't calculate seen_tests, just use all_tests which is the max number of tests we have - calculate location of sel4test-tests in sel4test_run_tests rather than use test_init_data to pass the values around. test_init_data is only for data shared between sel4test-tests and the driver.
|
#
fee0686a |
|
25-Sep-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
Use pragma in test_init_data
|
#
84fc5084 |
|
25-Sep-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
SELFOUR-1083 extract test cases from sel4test-tests using elf magic instead of bash script Add README to describe how to declare tests
|
#
911887bc |
|
21-Aug-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
MCS: add sched_ctrl caps to driver and tests - add simple functions in tests for getting sched ctrl - copy sched ctrl caps between driver and test process
|
#
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
|
#
4b4c5c9e |
|
01-Feb-2017 |
Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> |
hikey: Add virtual upcounter timer for timestamps * Requires the addition of an extra timer notion, extra_timer.
|
#
29c37842 |
|
01-Feb-2017 |
Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> |
Trivial: Use uintptr_t for physical address
|
#
aebaafa2 |
|
27-Nov-2016 |
Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> |
Clean up seL4test backend * Clean up the structure of seL4test. * Make TK1 use the same device as both the event-timer and wall-clock timer.
|
#
0645f36f |
|
16-Nov-2016 |
amrzar <azarrabi@nicta.com.au> |
smp: some tests for multicore This will update the env to include number of available cores - Test suspending and resuming a thread on diffrent core - Test thread is runnable on all available cores - Test core stalling is behaving properly - Test TLB invalidated cross cores - Test FPU remain valid across core migration
|
#
b298a703 |
|
06-Nov-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-328: add clocktimer for pc99, omap3 & imx6
|
#
35944e1e |
|
05-Oct-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
User device untyped and s/PIT/HPET for x86 This commit changes the way sel4test-driver passes device memory to sel4test-tests: instead of copying the frame caps it copies untypeds, to be compataible with how seL4_libs has changed after device untyped. sel4test-tests now gives the relevant untyped to its allocator so seL4_libs can initialise the relevant devices. Additionally, this commit changes to use the HPET and IOAPIC instead of the legacy PIT/PIC on x86, allowing us much greater timer accuracy in tests and faster tests in general.
|
#
608991db |
|
26-Sep-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Increase TEST_NAME_MAX TEST_NAME_MAX is presently 20 characters and there is a test whose name is currently 20 characters. This works by chance presently as we do not force there to be a NULL byte and the next field tends to be NULL, leading to a valid string
|
#
d595758c |
|
29-Aug-2016 |
Kofi Doku Atuah <kofi.dokuatuah@nicta.com.au> |
Consolidate the shared test_init_data_t struct Previously there was a struct that was used to access shared memory between the driver app and the test child processes. This struct's definition was duplicated between the two apps. This patch does an initial fixup for that, by making the shared-mem struct definition a non-relative include for the driver app, and then symlinking that to be a non-relative include for the child app as well.
|