#
a00c2c16 |
|
17-Sep-2020 |
Curtis Millar <curtis.millar@data61.csiro.au> |
Make kernel log buffer derived from cmake config This removes the explicit CMake configuration for the kernel log buffer and replaces it with a #define that is enabled for the required configurations. Signed-off-by: Curtis Millar <curtis@curtism.me>
|
#
3c26d999 |
|
16-Sep-2020 |
Jingyao Zhou <Jingyao.Zhou@data61.csiro.au> |
capDL: Add error messages for seL4_DebugSnapshot Add error messages for seL4_DebugSnapshot for platforms that are not currently supported by capDL Kernel Printing Signed-off-by: Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>
|
#
4522d895 |
|
03-Sep-2020 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
mcs: return pointer from `refill_head` and others A previous commit produced some build errors, since it converted the `REFILL_HEAD` and `REFILL_TAIL` macros to functions returning `refill_t`, and the results were used as lvalues. This commit returns pointers instead, and also converts `REFILL_INDEX` to a function. Signed-off-by: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>
|
#
b181184d |
|
01-Sep-2020 |
Edward Pierzchalski <ed.pierzchalski@data61.csiro.au> |
mcs: change REFILL_HEAD, REFILL_TAIL to functions SimplExportAndRefine can't handle the level of pointer arithmetic being performed by `REFILL_INDEX` if it's literally inlined into a function, however it *can* handle that arithmetic if it's in a separate function. Signed-off-by: Edward Pierzchalski <ed.pierzchalski@data61.csiro.au>
|
#
329b876c |
|
23-Jul-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
mcs: Ad ksConsumed to scConsumed in handleYield handleYield updates scConsumed itself because chargeBudget is given the full timeslice to consume but this isn't necessarily the full amount that the sc has consumed. Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
|
#
0fbf2f7d |
|
24-Jul-2019 |
Curtis Millar <curtis.millar@data61.csiro.au> |
mcs: Don't pass capacity through calls The capacity does not need to be passed as an argument to refill_check_budget as all information that it was being used for can be dertermined from the usage directly. Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
|
#
9d9bb994 |
|
16-Jul-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
debug: create debug_tcb_t struct Special debug variables that were previously stored at the end of the tcb_t struct often cause the struct to get too large for the power-of-2 sized untyped object definition. This change moves these variables into a new structure named debug_tcb_t that is located between the TCB CNode and the tcb_t struct within a tcb kernel object. Because tcb_t needs to be stored on a power-of-2 aligned boundary and the TCB CNode only contains < 5 slots, there is easily > 512 bytes of unused data in every tcb object. The kernel verification needs to be sure that objects don't overlap in memory and so this space can't be easily used in a release build at the moment, but for debug configurations using it shouldn't be an issue. Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
|
#
e1f6cf0a |
|
13-Jul-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Add 2 new benchmark utilization syscalls - seL4_BenchmarkDumpAllThreadsUtilisation: Prints a JSON formatted record of total and per-thread utilisation statistics about the system. This currently includes a thread's total cycles scheduled, total number of times scheduled, total cycles spent in the kernel and total number of times entering the kernel and then totals of each for all threads on the current core. - seL4_BenchmarkResetAllThreadsUtilisation: Resets the current counts of every user thread on the current core. These syscalls are only available in a Debug build configuration as they use a kernel debug list of all of the threads that exist for a given node. Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
|
#
88a7d138 |
|
13-Jul-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
KernelBenchmarksTrackUtilisation: Add more stats For each thread also track number of times scheduled, number of kernel entries and amount of cycles spent inside the kernel. Also add core-wide totals for each. Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
|
#
8e358332 |
|
13-Jul-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
KernelBenchmarksTrackUtilisation: refactor reset Change benchmark_track_reset_utilisation to take a tcb object parameter so that the function is more widely applicable. Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
|
#
4eccea54 |
|
13-Jul-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
KernelBenchmarksTrackUtilisation: Fix for SMP Create per-node global definitions for utilization variables. This enables the tracking to more cleanly work on SMP configurations. As resetting and starting the counters via SysBenchmarkResetLog only updates the counters of the current thread and idle thread on the current node it was not possible to accurately record utilization statistics across multiple nodes. Now each node can have its tracking independently started, stopped and queried. It is possible to add additional syscalls in the future for doing this for all nodes in a single syscall. Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
|
#
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.
|
#
c06df578 |
|
02-Feb-2020 |
Luca(Wei) Chen <Wei@cvluca.com> |
ARM: Add support to flush L1 caches Extend the existing seL4_BenchmarkFlushCaches without modifing the usage of it. Will be used in sel4bench to measure the cold cache performance.
|
#
2d362cb7 |
|
11-Nov-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
arm,SMP: Refactor irq_t structure for smp Explicitly create a struct definition for irq_t on SMP Arm configurations. This makes it a lot harder to mistakenly use the wrong irq encoding when moving an irq between a cnode index and hardware irq number / core. A couple areas where this was being handled incorrectly was fixed as part of the refactor. When performing an ipi for masking PPI interrupts, the idx encoding is used as it fits into a single word.
|
#
acdf0be5 |
|
09-May-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: Fix potential crash on preemption Preemption can be triggered due to a revoke operation, which may have deleted one or both of the current thread and current scheduling context. Don't manipulate the current thread if it is no longer valid and just charge the SC iff it is valid and the thread is not. This was discovered during verification.
|
#
86e50d07 |
|
09-May-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: Avoid missing a timer tick Preemption can be via the timer interrupt. In this case we need to update the timestamp so we can reprogram the timer for the next timeout and guarantee it is in the future, otherwise we will end up setting a timeout in the past.
|
#
ef4ba6b6 |
|
21-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: Introduce firstPhase flag to invocations Some invocations contain two phases, and certain operations cannot be allowed to run in the first phase as it could effect the currently running thread and result in an invalid system state for the second phase. This change filters those invocations, preventing them from being used in the first phase of a two-phase, blocking system call.
|
#
58725c49 |
|
04-Oct-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: Preserve the value of scConsumed on Yield We use the chargeBudget logic in the kernel on seL4_Yield to free up the budget available in the head refill, however this updates scConsumed. Given this is a simulated charge (the thread is yielding the budget, not actually using it), this is incorrect.
|
#
483f0ae2 |
|
07-Jun-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: SchedControlConfigure: charge correct core Previously this code would incorrectly call chargeBudget twice, where it was intended to be charging a specific core.
|
#
a38e62f2 |
|
28-Feb-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: timeout exceptions - Add seL4_TCB_SetTimeoutEndpoint - implement timeout exceptions
|
#
9253704d |
|
26-Apr-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: update refills based on spec This is a list of fixes that came up while working on the verification spec for the mcs changes. - trigger a timer tick if we are unable to split a refill due to the refill list being full. - make refill_ordered more useful - pull the thread out of the scheduler before updating it - simplify refill logic at verifications request - Add unused to refill_sum - Don't refill_split_check if consumed is empty - sched_control: fix double increment bug - sched-control: charge before reconfiguring ksCurSC - Charge round robin threads differently Sporadic server refill rules do not behave correctly for round robin threads, instead, change the logic. Round robin threads have 2 refills: current and next.
|
#
798fb76d |
|
17-May-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: call updatetimestamp and commitTime once This change refactors (and simplifies) the interactions with the scheduler on the irq path. We don't call commitTime on this path, as this call was redundant (we'll call it in the scheduler if we need to). Move up the calls to checkBudget and updateTimestamp. Avoid modifying the scheduler on the unlocked IPI path
|
#
554f812d |
|
08-Nov-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: scheduling context donation over ipc After this commit, threads blocked on an endpoint can recieve a scheduling context from the thread that wakes the blocked thread.
|
#
34c1f920 |
|
03-Nov-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: add periodic scheduling This commit adds periodic scheduling with sporadic servers.
|
#
71244499 |
|
31-Oct-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: tickless scheduler implementation This changes the budget/remaining fields in scheduling contexts to contain timer ticks, not number of abstract sel4ticks. seL4_SchedControl_Configure now takes microseconds, not ticks. This commit is plat-independant - the platform and arch specific timer code follows in later commits.
|
#
49d3f220 |
|
25-Jun-2019 |
Sylvain Gauthier <sylvain.gauthier@data61.csiro.au> |
[SMP/Debug] New syscall to send arbitrary SGIs Created a new syscall, seL4_DebugSendIPI for ARM to send arbitrary SGIs (software generated interrupts) to arbitrary cores. As SGIs are specifically PPIs (private interrupts), this syscall effectively allows to trigger PPIs on arbitrary cores, for debug/testing purposes.
|
#
15091664 |
|
20-Mar-2019 |
Curtis Millar <curtis.millar@data61.csiro.au> |
Add syscall for setting the current TLS register. Some platforms and configurations do not allow user code to change the value of the register used for TLS. On these architectures a syscall can be used to allow the kernel to update the register on their behalf. This does not immediately update the value in the user context on many configurations as the values are only stored in the user context on a context switch.
|
#
7fc45c4e |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: set code width to 120
|
#
306453e3 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: set min-conditional-indent to 0 Given we use braces all the time conditional indents do not make code cleaner.
|
#
d0930f67 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: consistently attach return type Add attach-return-type to astyle
|
#
761006e0 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: consistently align pointer with name Run astyle with align-pointer=name
|
#
3d10ef0c |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: correct parenthesis padding Use astyle's unpad-paren to unpad all parentheses that are not included by pad-header, pad-oper, and pad-comma.
|
#
3df00ea4 |
|
22-Apr-2018 |
Thibaut Perami <thibaut.perami@data61.csiro.au> |
SELFOUR-6: Add GrantReply to the rights system. GrantReply is a new access right added to endpoint capabilities, which allows seL4_Call to be used on those capabilities (specifically, it allows reply caps *only* to be granted across endpoints). Prior to the addition of GrantReply, endpoint capabilities required the Grant access right, which allowed any arbitrary capabilitiy to be transferred over an endpoint. Using GrantReply, systems can now be constructed where threads using seL4_Call over an endpoint do not need to be in the same security subsystem.
|
#
a04b5ea9 |
|
04-Jul-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Add UNUSED tags These variables end up unused if DEBUG_BUILD is enabled but PRINTING is not
|
#
94f22865 |
|
11-Mar-2018 |
Jonas Claeson <jonas.cl@protonmail.com> |
Add thread name to debug info for SysDebugHalt and SysDebugSnapshot
|
#
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.
|
#
1fc281e7 |
|
22-Nov-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
Add CONFIG_ to syscall.c and add missing include file
|
#
74a741b5 |
|
14-Nov-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
Fix typo
|
#
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
|
#
0abc7202 |
|
04-Apr-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
s/DEBUG/CONFIG_DEBUG_BUILD/ DEBUG definition is not supposed to be used in the kernel, rather CONFIG_DEBUG_BUILD, which can be toggled separately to user notion of DEBUG
|
#
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.
|
#
50995b4c |
|
15-Feb-2017 |
Jack Suann <Jack.Suann@data61.csiro.au> |
Replace Arch_handleInterrupt with Arch_finaliseInterrupt
|
#
9f67d21c |
|
14-Feb-2017 |
Jack Suann <Jack.Suann@data61.csiro.au> |
x86: Handle pending interrupt before scheduling thread in handleSyscall In handleSyscall the current thread may be preempted to handle a pending interrupt. With kernel mode interrupts in x86 this handling was delayed until we were about to switch back to user mode. This change unifies the handling with ARM, where the interrupt is handled prior to calling the thread scheduler.
|
#
6eb2ea50 |
|
29-Nov-2016 |
Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> |
Add userError messages
|
#
b827ad37 |
|
15-Jul-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-413: refactor libsel4 fault API This is a *breaking API change* This commit: * makes seL4_Fault_tag_t common between the kernel and libsel4 * deprecates the existing functions from sel4/messages.h includes * introduces a new fault API in sel4/faults.h and * sel4/sel4_arch/faults.h * deprecates seL4_GetTag(), as the function did not work without the user calling seL4_SetTag() first (seL4_MessageInfo is passed in registers and not set in the IPC buffer) * removes previously deprecated functions (deprecated prior to 3.0.0) * updates the seL4 manual to reflect the changes
|
#
25bb9437 |
|
24-Oct-2016 |
amrzar <azarrabi@nicta.com.au> |
SELFOUR-635: support for TCB operations This will update TCB invocations to consider multicore environment, this may include: - adds the affinity invocation to transfer TCB between different cores and update TCB structure for core ID - checking the thread/core state before performing TCB operation, e.g. deleting the runnable TCB, etc
|
#
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
|
#
5f7fa2fc |
|
19-Oct-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Benchmark: Pack arch-independent benchmark-related files into separate directories
|
#
3f9eb7c8 |
|
06-Oct-2016 |
amrzar <azarrabi@nicta.com.au> |
SELFOUR-632: implement cores non-architecture dependent structres
|
#
9c507cff |
|
27-Sep-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-603 - Benchmark: Add null syscall
|
#
5fbcda43 |
|
21-Sep-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
SELFOUR-538: Avoid out of bounds read in debug mode
|
#
8808ba7f |
|
07-Sep-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Benchmark: Implement per-thread reset syscall
|
#
ef00e986 |
|
21-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-615: arm entry point stubs
|
#
4c57e6e5 |
|
28-Jul-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
define arch entry hooks instead
|
#
a217102b |
|
27-Jul-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Consolidate benchmark entry/exit Move the benchmark pre/post ambles into the now existing entry/exit hook functions
|
#
3c05b79a |
|
27-Jul-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Provide generic C entry/exit hook routines It can be deseriable to run code before/after user mode, but not have to write it in assembly. This commit adds such stubs that get called as the first/last C code when coming in and out of the kernel
|
#
49510f9d |
|
22-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-624: remove redundancy in io.[c|h] And clean up a bit while we are there
|
#
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
|
#
ce2c058f |
|
06-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-607: inline remaining irq path functions
|
#
8d8cdba3 |
|
05-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
trivial: fix bbone build
|
#
c6247d36 |
|
27-Jul-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-526: Refactor benchmark/debug syscall kernel entry
|
#
d97603bd |
|
14-Jul-2016 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING
|
#
09358f9b |
|
23-Jun-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
SELFOUR-448 Benchmark: Track thread's CPU utilisation time
|
#
fb98d91e |
|
14-Jun-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
trivial: fix warning when benchmarks enabled
|
#
0b1456d7 |
|
07-Jun-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
Benchmark: include scheduler time
|
#
95909cd8 |
|
01-Jun-2016 |
Hesham Almatary <Hesham.Almatary@nicta.com.au> |
Default MAX_NUM_TRACE_POINTS to 0 for compatibility Some libraries and apps assume MAX_NUM_TRACE_POINTS = 0 if benchmarks are disabled.
|
#
5105c089 |
|
01-Jun-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
trivial: style
|
#
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.
|
#
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.
|
#
d93699c9 |
|
04-Jan-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling
|
#
59ec7c9a |
|
15-Dec-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Fix: Make settings actually take effect on spurious interrupt reporting. The `IRQ_REPORTING` configuration variable is documented to affect whether undelivered and spurious interrupts are reported, but it previously only affected whether undelivered IRQs were reported. Spurious interrupts were always reported leading to needless UART spam when you were not debugging an interrupt issue.
|
#
a0e5db7a |
|
14-Dec-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
Add debug functionality to print the kernel entry reason and arguments at any point in the kernel
|
#
171824f7 |
|
07-Dec-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Change additional int->word_t due to interraction with the C parser to ease verification
|
#
2d61910e |
|
09-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Rename uint32_t -> word_t in any relevant places
|
#
fee26a88 |
|
02-Jun-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Change casting from int->long to be compatible with both 32 and 64 bit compilations
|
#
a99a1040 |
|
09-Nov-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects. This commit deprecates seL4_ReplyWait, removes seL4_NBwait completely, and changes the return type of seL4_Wait to void (seL4_Wait should be used for notification objects, and seL4_Recv should be used where seL4_Wait was used previously for endpoints).
|
#
54603123 |
|
19-Oct-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-317: rename async endpoint to notification object, and other fallout.
|
#
d9802d17 |
|
08-Oct-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
Add seL4_NBWait: non blocking wait for notifications and endpoints.
|
#
97042a0f |
|
17-Jul-2014 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Introduce 'Notification Binding': a new feature which allows a tcb to be bound to a single asynchronous endpoint.
|
#
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'.
|
#
4c2554dc |
|
26-Aug-2015 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Added support for using multiple tracepoints at the same time.
|
#
f15959a7 |
|
14-Jul-2015 |
Joel Beeren <joel.beeren@nicta.com.au> |
SELFOUR-220: only delete reply cap when waiting on sync endpoint
|
#
0b8627b0 |
|
19-May-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Trivial: Fix comment typo.
|
#
952e5a27 |
|
13-May-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Add ability to set a human readable thread name when running kernel in debug mode
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|