Search results

Tracking: Porting <code>embassy-rs</code> for <code>libtock-rs</code>

Status: Open.

#4497 In tock/tock;

· DanutAldea opened on Jul 7, 2025

nix-shell failing due to tockloader on macOS

Status: Open.

#4496 In tock/tock;

· alexandruradovici opened on Jul 7, 2025

Tracking: Add tock as a supported OS for target triples

tracking

Status: Open.

#4464 In tock/tock;

· ppannuto opened on Jun 11, 2025

[litex] Missing safety comments (or soundness bug) in ethernet driver slot

enhancement

Status: Open.

#4448 In tock/tock;

· ppannuto opened on May 23, 2025

RFC/Tracking: Policy on creation of capabilities in components

rfcIssue designed for discussion and to solicit feedback.Issue designed for discussion and to solicit feedback.

tracking

Status: Open.

#4418 In tock/tock;

· ppannuto opened on Apr 30, 2025

Enhance RiscV PMP to support minimum granularity greater than 4 bytes

Status: Open.

#4417 In tock/tock;

· ZhekaS opened on Apr 29, 2025

IPC service does not get notification before the service is registered.

Status: Open.

Bug

#4410 In tock/tock;

· ZhekaS opened on Apr 21, 2025

make format: ignore tab characters in vendored / submodule'd dependencies

Status: Open.

#4404 In tock/tock;

· lschuermann opened on Apr 9, 2025

BLE Functionality Enhancement

Status: Open.

#4400 In tock/tock;

· mohakvni opened on Apr 8, 2025

Tock DevContainer Support

enhancement

wish list

Status: Open.

#4388 In tock/tock;

· brghena opened on Mar 26, 2025

docs.tockos.org macro documentation is pulled to top-level crate, making discoverability hard for things semantically part of a module

blocked-upstreamWaiting on something from an upstream projectWaiting on something from an upstream project

documentation

enhancement

good first issue

Status: Open.

#4383 In tock/tock;

· ppannuto opened on Mar 25, 2025

App crashing allows potential sharing of kernel memory

Status: Open.

Bug

#4371 In tock/tock;

· vrindisbacher opened on Mar 14, 2025