#
eec02fd2 |
|
15-Jan-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Dangerous read/write MSR interface Provides a syscall interface for reading and writing arbitrary MSR values. This is being introduced as an alternative to the DebugRun, as the main purpose of debug run is for modifying the performance monitoring events via read/write MSR.
|
#
cfb30f34 |
|
05-Sep-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4: Remove unused argument in seL4_VMEnter syscall This VCPU argument does not make sense given semantics of the VMEnter syscall, and as a result the argument is ignored by the kernel.
|
#
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
|
#
61f1bd5e |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
seL4_DebugDumpScheduler: remove unused argument
|
#
bb5ecb1b |
|
29-May-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-880: add seL4_DebugDumpScheduler - when CONFIG_DEBUG is enabled, track all threads - when CONFIG_PRINTING is enabled, provide seL4_DebugDumpScheduler which allows the user to dump the state of the kernel scheduler.
|
#
50d72007 |
|
03-May-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-862: CONFIG_PRINTING --> seL4_DebugPutChar seL4_DebugPutChar is only available when CONFIG_PRINTING is enabled
|
#
90b3e757 |
|
10-Apr-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
libsel4: fix warning in seL4_BenchmarkSetLogBuffer
|
#
8c02bc13 |
|
10-Apr-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
x64: implement seL4_BenchmarkFlushCaches by moving the ia32 implementation up a level to x86 and implementing the syscall stub.
|
#
aa656604 |
|
11-Feb-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Modify FinalizeLog syscall There is no way to know how many entries the syscall log contains otherwise. One option was iterating through until finding a 0 terminator, however this requires the log to be zeroed before each trial. This changes the FinalizeLog syscall to return the number of entries.
|
#
e937d968 |
|
23-Feb-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Change debug #ifdefs to be from autoconf.h Previously the #ifdefs for some debug syscalls relied on definitions from Makefile.flags in sel4_tools. This changes them to use configs defined in autoconf.h which makes them easier to import when building projects that don't use sel4_tools.
|
#
eccaae51 |
|
20-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
s/D61/DATA61/ in license headers for consistency
|
#
55d7a386 |
|
06-Dec-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4: seL4_VMEnter syscall for x86-64
|
#
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.
|
#
78009dd2 |
|
28-Nov-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
SELFOUR-675: x64: Increase message registers from 2 to 4
|
#
b90238d0 |
|
19-Oct-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Replace #pragma once with include guards
|
#
3c01da70 |
|
19-Oct-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Trivial: correct x86_64 seL4_BenchmarkReset() return value
|
#
f062dcdc |
|
11-Oct-2016 |
Bamboo <bamboo@keg.ertos.in.nicta.com.au> |
[STYLE_FIX]
|
#
067b71ca |
|
26-Sep-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x64/libsel4: Add x64 libsel4 implementation
|