#
512a0200 |
|
19-Mar-2020 |
Qian Ge <qian.ge@data61.csiro.au> |
replacing all ifndef with pargma once All the kernel header files now use pargma once rather than the ifndef, as the pre-processed C files do not change while header files are protected with pargma once. This will also solve any naming issues caused by ifndef.
|
#
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX identifiers This commit also converts our own copyright headers to directly use SPDX, but leaves all other copyright header intact, only adding the SPDX ident. As far as possible this commit also merges multiple Data61 copyright statements/headers into one for consistency.
|
#
3e0bbe82 |
|
12-Jun-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
arm: clean & consolidate pmu management code - consolidate armv_init_ccnt into arm_init_ccnt, which is general - move armv_handleOverflowIRQ definition to benchmark.h (no need for extra header) - clean up definition of armv_handleOverflowIRQ
|
#
c090b058 |
|
12-Jun-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
arm: consolidate benchmark_arch_utilisation_reset - Move identical definitions from armv6 and armv7 to common arm code. - Remove excessive #ifdef guards - let the compiler throw it away if it isn't used
|
#
e7534049 |
|
22-Nov-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Provide a general ARM timestamp function Use SYSTEM_READ_WORD, each platform defines the CCNT constant.
|
#
90055957 |
|
04-Sep-2017 |
Alexander Boettcher <alexander.boettcher@genode-labs.com> |
arm: define guards for benchmark interface Fixes #69
|
#
19b89ed1 |
|
14-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
ARM: Add 32 bit directory for armv8-a
|
#
90628a75 |
|
11-Aug-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Benchmark: share and use KS_LOG_PPTR and PPTR_TOP for x86 and ARM
|
#
09358f9b |
|
23-Jun-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
SELFOUR-448 Benchmark: Track thread's CPU utilisation time
|
#
fc1feb67 |
|
24-May-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
SELFOUR-446 Benchmark: Track syscall feature Benchmark feature that currently: - Keeps track of system calls info - Start time - Duration - Capability type - Invocation tag - Log the number of invocations of each system call* - Log the number of invocations for each capability type per syscall. - Has 3 new syscalls (dump, reset, get size). - This new feature uses the existing log buffer (which is 1MiB for x86 and ARM). Since the number of syscall invocations is not deterministic, the logged number of invocations is limited by the size of the buffer. I suggested to enable the users to pass their own user-level buffer, to enable more flexibility, later. - ENABLE_BENCHMARKS is now a parent config option of trace points and system call track features, they can't be used at the same time.
|
#
c0bc7d8f |
|
02-Feb-2016 |
Robert Kaiser <robert.kaiser@nicta.com.au> |
Added changes for Wandboard
|
#
e82953a1 |
|
01-Sep-2015 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Removed CONFIG_BENCHMARK config option. All checks for '#ifdef CONFIG_BENCHMARK' replaced with '#if CONFIG_MAX_NUM_TRACE_POINTS > 0'.
|
#
e6451f8d |
|
18-Nov-2014 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
enable existing armv7 log buffer address for odriod-xu: tested, it works
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|