Hudson Ayers

use deferred calls to report aborted reception in sam4l uart

3

### Pull Request Overview This pull request fixes the implementation of `abort_rx()` in `sam4l/src/usart.rs` to not call an upcall within a downcall. This fixes `console_timeout` to not panic. We had...

RFC: Restructure `DeferredCall` to not require atomics

8

### Pull Request Overview This PR restructures `DeferredCall` to not require atomics, instead relying on a `DeferredCallManager` structure which is simply a wrapper around `Cell` and is held by the...

### Pull Request Overview This pull request is another alternative to https://github.com/tock/tock/pull/3123 and #3086 . Rather than modify DefferredCall, it introduces a new type in the kernel, `CapsuleDeferredCall`, for use...

### Pull Request Overview This pull request builds upon the work in https://github.com/tock/tock/pull/3086 to construct a version of `DeferredCall` that can be used by both capsules and chip peripherals, obsoleting...

Tock 2.0 added an exit system call, and specified a mechanism for completion codes, such that the system call interface was specified at the 2.0 release. Some of the precise...

error: failed to parse application's LLVM IR

1

error: failed to parse application's LLVM IR from BUG: failed to parse LLVM IR; please submit a cargo-call-stack bug report and attach the `.ll` file: Failure("Eof in line 57543") gist:...

### Pull Request Overview This pull request removes a comment referencing a now-stable nightly feature and simply adopts use of that feature instead. It also replaces a direct pointer write...

stm32f412g: make user/kernel code boundary fall on flash sector boundary

4

### Pull Request Overview This pull request makes the user/kernel code boundary fall on flash sector boundary, which should hopefully enable tockloader to work with the `--bundle-apps flag.` ### Testing...

RFC: remove kernel work counting optimization

2

### Pull Request Overview This pull request removes the kernel work counter which tracked how many outstanding tasks were present in the kernel. Now, schedulers must determine whether any work...

All drivers should return `Success` rather than `SuccessU32` for command 0

12

https://github.com/tock/tock/blob/master/doc/reference/trd104-syscalls.md#431-command-identifier-0 specifies that command 0 should always return `Success`. Several drivers do not follow this (ex: - GPIO): https://github.com/tock/tock/blob/500caa5e882b7efe40158849fb489205f07c6a2e/capsules/src/gpio.rs#L198 Three such drivers -- ADC, Button, and LED -- are stabilized,...