Alistair Francis

Results 41 issues of Alistair Francis

### Pull Request Overview This bumps us to the latest SHA. This includes support for the Manifest and the ePMP changes ### Testing Strategy Running on FPGA and Verilator ###...

WG-OpenTitan
blocked-upstream

### Pull Request Overview This PR adds a new virttual_aes_gcm capsule. This capsule virtualises the AES hardware while also exposing [AES-GCM](https://en.wikipedia.org/wiki/AES-GCM-SIV) support if the hardware doesn't actually have it. We...

WG-OpenTitan

### Pull Request Overview This PR changes the Flash HIL. It does this for a few reasons: * Allow offset reads, some flash controllers allow offset reads in a page....

sam4l
nrf
HIL
stm32

### Pull Request Overview This PR is a rebase of the original Rubble PR, which is here: https://github.com/tock/tock/pull/2036 I'm not going to repeat the original description. I have rebased this...

This is an overall tracking issue for support Tock in QEMU. Then we can use QEMU to test Tock in the CI. - [x] Convert the current QEMU testing set-up...

help wanted
Work in Progress
tracking
risc-v

On RISC-V (at least with ePMP) we should be able to remove read permissions from the kernel text. This would mean that at run time nothing can read the executable...

WG-OpenTitan

### Pull Request Overview This PR builds on top of: https://github.com/tock/tock/pull/2248 This should address most issues raised in: https://github.com/tock/tock/issues/1459 Most flash chips require a blocking write/erase to the flash bank...

kernel
HIL

When running `mautrix-signal` with a dendrite server I am seeing this error, when manually running the `sync` command. I also am not getting messages, I'm assuming it's related to this...

bug

Bump from the 5.18 to the 5.19 kernel. No rM2 specific changes here, just keeping up to date with the Linux kernel

Currently libtock-rs apps barely fit on the HiFive1 board. Build the libtock-rs examples ```shell PLATFORM=riscv32 cargo build --target=riscv32imac-unknown-none-elf --examples ``` Create a tbf file for the hello_world example ```shell /scratch/alistair/software/tock/elf2tab/target/debug/elf2tab...