Leon Schuermann

arm/cortex-m/syscall: replace volatile userspace RAM accesses with regular pointer reads/writes

8

### Pull Request Overview Given the changes introduced in the previous commits (introducing the CortexM subarch trait), which cause the Rust compiler to have direct visibility of the `#[naked]` functions...

### Pull Request Overview This is a work in progress PR to add VirtIO support for the VirtIO `NetworkCard` and `EntropySource` device types, running on the `qemu_rv32_virt` board to be...

kernel::collections: redesign linked-list interface and types

10

### Pull Request Overview In an effort to fix the issues identified in #2773, this proposes a new, redesigned linked-list interface and types for Tock. It appears that one major...

kernel/processbuffer: migrate ProcessSlices towards raw pointers

8

### Pull Request Overview This commit migrates the ProcessSlice interface in Tock to work on raw pointers instead of slices of `Cell`s. Most notably, this prevents usage of Rust's `Index`...

Violation of Rust's aliasing rules with DMA operations

5

It's a common paradigm for chips in Tock to take some buffer which is written to using a DMA operation. Because this buffer must be handed back to the client...

litex_sim: add inter-module messaging, external simulation control and controllable GPIO

1

This is quite a large changeset. It introduces three major components as outlined below, which all depend on each other. I recommend reviewing the individual commits over the very large...

tock-register-interface: don't encapsulate test_fields! tests in mod

2

### Pull Request Overview This allows users of tock-registers to have multiple invocations of `register_fields!` in the same module. Prior to this change, `rustc` would not have allowed the module...

Just as an example, here is a request for a station in Böblingen: ```xml kreistierheim B?blingen, B?blingen Kreistierheim B?blingen B?blingen Kreistierheim ``` The same goes for JSON. Is this a...

### Pull Request Overview Platform-specific code in Tock is commonly placed behind a conditional compilation #[cfg( attribute that specifies that - the target needs to be of a certain architecture...

### Pull Request Overview This is a second, slightly less elegant but working(?) stab at #3847. Tock's core kernel design permits process implementations with system call interfaces other than the...