Search results

rustc: Update version to 2025-11

blockedWaiting on something, like a different PR or a dependency.Waiting on something, like a different PR or a dependency.

HILThis affects a Tock HIL interface.This affects a Tock HIL interface.

kernel

risc-v

sam4l

stm32

tock-librariesThis affects libraries supported by the Tock projectThis affects libraries supported by the Tock project

WG-CryptoIn the purview of the crypto working groupIn the purview of the crypto working group

WG-NetworkIn the purview of the Network working group.In the purview of the Network working group.

WG-OpenTitanIn the purview of the OpenTitan working group.In the purview of the OpenTitan working group.

Status: Open (in progress).

tock/tocknumber 4663

#4663 In tock/tock;

· bradjc opened on Nov 4, 2025

x86-32: cdecl -> C

blockedWaiting on something, like a different PR or a dependency.Waiting on something, like a different PR or a dependency.

Status: Open (in progress).

tock/tocknumber 4662

#4662 In tock/tock;

· bradjc opened on Nov 4, 2025

ESP32-C3: Update makefile to use tockloader to install apps

component

risc-v

Status: Open (in progress).

tock/tocknumber 4647

#4647 In tock/tock;

· bradjc opened on Oct 21, 2025

ESP32-C3: Enable button

blockedWaiting on something, like a different PR or a dependency.Waiting on something, like a different PR or a dependency.

component

risc-v

Status: Open (in progress).

tock/tocknumber 4646

#4646 In tock/tock;

· bradjc opened on Oct 21, 2025

ESP32-C3: Add LED driver

component

Status: Open (in progress).

tock/tocknumber 4645

#4645 In tock/tock;

· bradjc opened on Oct 21, 2025

kernel: move schedulers to capsules

component

kernel

WG-OpenTitanIn the purview of the OpenTitan working group.In the purview of the OpenTitan working group.

Status: Open (in progress).

tock/tocknumber 4640

#4640 In tock/tock;

· bradjc opened on Oct 16, 2025

static mut: Use STV for debug_gpios

kernel

last-callFinal review period for a pull request.Final review period for a pull request.

WG-OpenTitanIn the purview of the OpenTitan working group.In the purview of the OpenTitan working group.

Status: Open (in progress).

tock/tocknumber 4635

#4635 In tock/tock;

· bradjc opened on Oct 13, 2025

Introduce components for chips, start with the nRF52840

nrf

Status: Open (in progress).

tock/tocknumber 4633

#4633 In tock/tock;

· bradjc opened on Oct 11, 2025

chips: nrf5x: forbid unsafe

nrf

Status: Open (in progress).

tock/tocknumber 4626

#4626 In tock/tock;

· bradjc opened on Oct 9, 2025

DeferredCall: Port to <code>SingleThreadValue</code>

arch/risc-vRISC-V architectureRISC-V architecture

chips/nrfChange pertains to the nRF5x family of MCUs.Change pertains to the nRF5x family of MCUs.

kernel

WG-OpenTitanIn the purview of the OpenTitan working group.In the purview of the OpenTitan working group.

Status: Open (in progress).

tock/tocknumber 4566

#4566 In tock/tock;

· bradjc opened on Aug 20, 2025

Board Panic Handler <code>static mut</code>s: Port to <code>SingleThreadValue</code>

kernel

Status: Draft (not ready).

tock/tocknumber 4519

#4519 In tock/tock;

· bradjc opened on Jul 22, 2025

kernel: debug panic: Use Capabilities instead of <code>unsafe</code>

chips/nrfChange pertains to the nRF5x family of MCUs.Change pertains to the nRF5x family of MCUs.

kernel

Status: Draft (not ready).

tock/tocknumber 4479

#4479 In tock/tock;

· bradjc opened on Jun 23, 2025