Propietario

tock

8 repositorios indexados · Ver en GitHub

tock
A secure embedded operating system for microcontrollers

Rust · 6444 estrellas
libtock-rs
Rust userland library for Tock

Rust · 201 estrellas
libtock-c
Userland apps for Tock written in C and C++

C · 90 estrellas
tockloader
Tool for programming Tock onto hardware boards.

Python · 44 estrellas
elf2tab
Tool to create Tock Application Bundles from ELF files.

Rust · 18 estrellas
tock-registers
Interface and types for defining and manipulating registers and bitfields

Rust · 12 estrellas
book
Tock Hands-on Guide

C · 11 estrellas
tock-www
Tock OS website

HTML · 6 estrellas

Para principiantes Todo

Abierto Todos

kernel: memop: Should informative syscalls return proper `CapabilityPtrs` or just addresses? Abierto

tock/tock#5183 · 1 reacción · 2 asignados · Abierto el 11/9/2026
The Raspberry PI Pico RP2040 USB CDC ACM serial port does not work with many machines Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

tock/tock#5153 · 5 comentarios · Abierto el 6/9/2026
rp2x PIO: a test plan Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 52/100

tock/tock#5152 · 1 comentario · Abierto el 4/9/2026
Unsoundness: byte_add requires an allocation, which MMIO may not have Abierto

bug

tock/tock-registers#65 · 2 comentarios · 1 asignado · Abierto el 3/9/2026
RFC: `declare_unsafe_register!` as uniform home for unsafe register semantics Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

tock/tock-registers#64 · 4 comentarios · Abierto el 28/8/2026
tock-registers 2.0 migration and stabilization plan Abierto

tock-libraries

tock/tock#5122 · 2 reacciones · 1 asignado · Abierto el 27/8/2026
Add ability to build Raspberry Pi Pico 2 - RP2350 applications Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100

tock/libtock-rs#600 · 1 comentario · Abierto el 13/8/2026
Recompilation of libraries Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

tock/libtock-c#582 · 2 comentarios · Abierto el 12/8/2026
arch/riscv/pmp: fix KernelProtectionPMP and KernelProtectionMMLEPMP constructors to work on rv64i Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

tock/tock#4987 · 1 comentario · Abierto el 28/7/2026
Consider adding `-mno-unaligned-access` to default build flags Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

tock/libtock-c#578 · 1 reacción · Abierto el 27/7/2026
Version 0.11 tracking Abierto

tock/tock-registers#45 · 1 asignado · Abierto el 21/7/2026
Investigate making operation traits platform-specific Abierto

tock/tock-registers#44 · 2 comentarios · 1 asignado · Abierto el 21/7/2026
Support fake peripherals owned via `Rc`/`Arc`. Abierto

tock/tock-registers#42 · 1 asignado · Abierto el 21/7/2026
Mark `register_structs!` as deprecated. Abierto

tock/tock-registers#41 · 1 asignado · Abierto el 21/7/2026
Remove support for inner doc comments on `register_map!` invocations. Abierto

tock/tock-registers#39 · 1 asignado · Abierto el 21/7/2026
nucleo_u545re_q OpenOCD commands (erase-apps, list-attributes) fail Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

tock/tockloader#140 · Abierto el 16/7/2026
Add support for GPIOB and GPIOD for STM32U5 boards Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

tock/tock#4927 · 1 comentario · Abierto el 6/7/2026
libtock_udp_send is broken -- cannot select destination address Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

tock/libtock-c#576 · Abierto el 1/7/2026
NoSMBus enable/disable No-Op Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tock/tock#4913 · 1 comentario · Abierto el 30/6/2026
ArbitrationLost Mapped to Generic RESERVE Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

tock/tock#4912 · Abierto el 30/6/2026
write_read Buffer Constraint Not Expressed Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

tock/tock#4911 · 1 comentario · Abierto el 30/6/2026
I2C Overrun Error Lost in Client Interface (Medium-High) Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

tock/tock#4910 · Abierto el 30/6/2026
Remove `interfaces` module in next major version? Abierto

tock/tock-registers#15 · 1 asignado · Abierto el 3/6/2026
Cleanup for next major release: Port LocalRegisterCopy to `DataType`, `Read`, and `Write`. Abierto

tock/tock-registers#14 · 1 asignado · Abierto el 3/6/2026
Digest HIL: HMAC key with anonymous reference to it Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

tock/tock#4826 · 1 comentario · Abierto el 8/5/2026
STM32F3 UART Interrupt Handling Errors Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

tock/tock#4816 · Abierto el 27/4/2026
When building app for RPi Pico I get the error: "ELF contains memory contents for uninitialized memory at 20000000" Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

tock/tock#4770 · 3 comentarios · Abierto el 1/4/2026
Outdated documentation Abierto

tock/tock-registers#9 · 3 comentarios · 1 asignado · Abierto el 4/3/2026
nrf52 ADC: SAMPLE passed to hardware as a read-only pointer Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 42/100

tock/tock#4752 · 1 comentario · Abierto el 25/2/2026
`register_bitfields!` should generate doc comments Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

tock/tock-registers#8 · Abierto el 25/2/2026
OpenOCD Stm32WLE5xx r/w past end of flash Abierto

tock/tockloader#132 · 1 asignado · Abierto el 31/1/2026
References to MMIO space are (probably?) UB Abierto

tock/tock-registers#4 · 4 comentarios · 2 reacciones · 1 asignado · Abierto el 13/1/2026
I2C master read/write error handling mechanism Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

tock/libtock-c#557 · Abierto el 13/12/2025
Handle `cdecl` calling convention on non-x86-32 targets Abierto

WG-x86

tock/tock#4674 · 1 comentario · 1 asignado · Abierto el 25/11/2025
Field value that catches unspecified values Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

tock/tock-registers#3 · 2 comentarios · Abierto el 1/11/2025
`--minimum-ram-size` option is not respected Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

tock/elf2tab#101 · 1 comentario · Abierto el 30/10/2025
Allow setting non-default padding Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

tock/elf2tab#100 · Abierto el 29/10/2025
Nightly CI Failed Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

tock/tock#4651 · 1 comentario · Abierto el 29/10/2025
Tockloader and Tockloader-rs produce different outputs Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

tock/tockloader#125 · 7 comentarios · Abierto el 18/9/2025
Device Tree (dts/dtsi) Support for Board Definition and Hardware Abstraction Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tock/tock#4600 · 7 comentarios · 1 reacción · Abierto el 16/9/2025
Interacting with the 486 QEMU VGA window using the keyboard terminates QEMU Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

tock/tock#4597 · 5 comentarios · Abierto el 13/9/2025
Release 2.3 Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

tock/tock#4584 · 8 comentarios · 1 reacción · Abierto el 6/9/2025
RISC-V AIA support Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tock/tock#4548 · Abierto el 5/8/2025
Implementation of streaming process slice Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tock/libtock-rs#578 · 3 comentarios · Abierto el 27/7/2025
nostack option for ARM system calls Abierto

tock/libtock-rs#577 · 9 comentarios · 1 asignado · Abierto el 27/7/2025
Deprecate `yield_for()` Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

tock/libtock-c#533 · 1 comentario · Abierto el 10/7/2025
Tracking: Porting `embassy-rs` for `libtock-rs` Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

tock/libtock-rs#576 · 8 comentarios · Abierto el 10/7/2025
Tracking: Port `libtock-sync` to Yield-WaitFor Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tock/libtock-c#530 · Abierto el 9/7/2025
Implement `yield-wait-for` Abierto

good first issue

tock/libtock-rs#574 · 3 comentarios · 1 asignado · Abierto el 13/6/2025
Consider build system revisions Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tock/libtock-c#511 · 6 comentarios · Abierto el 13/6/2025

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

tock

Mostrando los 100 más recientes

Recibe los nuevos issues en tu correo