Curtis Millar
Curtis Millar
This extends the existing benchmarking log and logging API for debugging purposes. It provides a general set of tools for describing and logging kernel events of varying size to a...
Prior to this change the kernel would always lookup the IPC buffer on the slowpath, even though this is only required for ipcs and invocations larger than n_msgRegsiters or with...
Fixes #919 Annotate the correct lifetime (`'static`) for the closure transferred to the child process of the clone. Properly box the closure in the parent then rebox it in the...
The current implementation of of `sched::clone` doesn't pass ownership of the the closure called by `callback` into the newly created thread, only a reference. This means that when the call...
## Describe the bug The key info is parsed to obtain a key grip and fails for key descriptions that don't conform to the format. The pinentry documentation states that...
This commit adds documentation written in markdown that explains each part of the libsel4camkes library in more depth. This appears to be draft documentation started by @kent-mcleod as part of...
This adds simple helpers to allocate and map a log buffer as well as dumping the contents of the logbuffer as a CBOR element to a base64 stream. Depends on...
ARMv7 currently disables cycle counters while reading the cycle counter values. If the task reading the values is preempted during the read than all time during the preemption is not...
This adds tests for the changes in https://github.com/seL4/seL4/pull/216. # TIMEOUTFAULT0004: Fault on no donated SC When a passive thread receives an IPC and the sender has not used seL4_Call, the...