#
07f94833 |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
libsel4: fix licenses - some were incorrectly marked GPL (libsel4 is BSD) - update NICTA --> DATA61 etc - fix tags D61 --> DATA61 - update year to 2017
|
#
6428e959 |
|
12-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
aarch64: Add aarch64 libsel4 implementation
|
#
ff8c48d6 |
|
10-Jan-2017 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Benchmark: ARM - Fix typos in syscalls.h
|
#
803dd5c2 |
|
24-Nov-2016 |
Jeff Waugh <jdub@bethesignal.org> |
libsel4: Optional public symbols for external interfaces CONFIG_LIB_SEL4_PUBLIC_SYMBOLS=y will disable inlining for external interfaces (except deprecated functions), thereby providing public symbols for easy linkage with other languages.
|
#
44ed6adb |
|
12-Oct-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
add seL4_BenchmarkFlushCaches() for arm and ia32 Available when CONFIG_ENABLE_BENCHMARKS is set, flushes caches for running cold-cache benchmarks
|
#
339096d3 |
|
27-Oct-2016 |
Jeff Waugh <jdub@bethesignal.org> |
Also let aarch32 seL4_RecvWithMRs/ReplyRecvWithMRs
|
#
df1f021c |
|
26-Oct-2016 |
Jeff Waugh <jdub@bethesignal.org> |
Let aarch32 CallWithMRs * Initialise the message variables (as per ia32 and x86_64) * `libsel4` now builds when `syscall_stub_gen.py` is run without `--buffer` * While simple things appear to work, `sel4test` with aarch32 in qemu is *not* happy: ``` Bootstrapping kernel Warning: using printf before serial is set up. This only works as your printf is backed by seL4_Debug_PutChar() sel4utils_create_object_at_level@mapping.h:22 Should not be called Ignoring call to sys_rt_sigprocmask Ignoring call to sys_gettid sys_tkill assuming self kill ```
|
#
4f625591 |
|
04-Oct-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
arm/libsel4: Correct seL4_DebugRun In a3e60fd025d23a6 seL4_DebugRun was refactored incorrectly. This commit corrects the name and arguments of its function call
|
#
f56d1ec1 |
|
04-Oct-2016 |
Bamboo <bamboo@keg.ertos.in.nicta.com.au> |
[STYLE_FIX]
|
#
a3e60fd0 |
|
04-Oct-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
arm/libsel4: Refactor syscall functions Refactors syscalls to use common base functions for assembly stubs. As a result of this refactor the problem of low optimization levels breaking the syscall stubs is also resolved.
|
#
9c507cff |
|
27-Sep-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-603 - Benchmark: Add null syscall
|
#
8808ba7f |
|
07-Sep-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Benchmark: Implement per-thread reset syscall
|
#
c3826e0e |
|
18-Aug-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-518: Benchmark - User-level log buffer, delete dump and size system calls Given that the log buffer is now (79291252a8cf7bf88a6597a96e25313d56e9c7a5) in user-level, the kernel doesn't have to dump and send the size for users. Users have to take care of this.
|
#
16c34811 |
|
31-Jul-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-518: User-level log buffer Remove global ksLog and use KS_LOG_PPTR instead Benchmark - Log buffer: use global page table
|
#
91718da4 |
|
18-Jul-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Fixed clobbered register in Signal syscall stub
|
#
d97603bd |
|
14-Jul-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING
|
#
ffc15e95 |
|
30-Jun-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-436: libsel4 s/__SWINUM/__SEL4_SWINUM Namespace the definition and do not #undef.
|
#
09358f9b |
|
23-Jun-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
SELFOUR-448 Benchmark: Track thread's CPU utilisation time
|
#
bcf0a235 |
|
01-Jun-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
SELFOUR-446 Unify code base for trace points and track feature
|
#
7cbaeb8e |
|
30-May-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
SELFOUR-446 Benchmark: Track interrupts and user/vm faults
|
#
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.
|
#
56f7b3fc |
|
24-May-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4: arm: Reintroduce -O0 warning
|
#
1287590e |
|
16-May-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Correct separation of printing and debug builds Fixes some build issues with 541289a32603cee8242b5360b05e8f0c52795433 as well as further allowing debugging (via the capdl interface) to happen when printing is turned off.
|
#
1a1110a0 |
|
14-Jan-2016 |
amrzar <azarrabi@nicta.com.au> |
Modify Kconfig and Makefile for aach32 as sel4_arch libsel4: updates to include aarch32 as sel4_arch
|