Skip to content

Pull requests: tock/tock

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

kernel/SingleThreadValue: don't move T: !Send across threads kernel WG-OpenTitan In the purview of the OpenTitan working group.
#4740 opened Feb 1, 2026 by lschuermann Draft
2 tasks done
Secure Boot for Tock kernel
#4732 opened Jan 22, 2026 by viswajith-g Loading…
2 tasks done
kernel/process_standard: zero-initialize app-accessible memory blocked Waiting on something, like a different PR or a dependency. kernel
#4717 opened Jan 8, 2026 by lschuermann Loading…
2 tasks done
Runtime memory allocation component kernel
#4711 opened Jan 8, 2026 by viswajith-g Loading…
2 tasks done
AppLoader: Uninstall Function kernel
#4710 opened Jan 8, 2026 by viswajith-g Loading…
2 tasks done
Reclaim RAM for terminated apps kernel
#4709 opened Jan 8, 2026 by viswajith-g Loading…
2 tasks done
kernel/utilities: add DmaSlice, a sound abstraction for DMA to and from Rust slices kernel P-Significant This is a substancial change that requires review from all core developers. risc-v WG-Network In the purview of the Network working group.
#4702 opened Jan 4, 2026 by lschuermann Loading…
4 tasks
Add STM32WLE5xx Support component stm32
#4695 opened Dec 18, 2025 by tyler-potyondy Loading…
2 tasks done
Add TRD: Tock Code Tiers documentation
#4694 opened Dec 18, 2025 by bradjc Draft
2 tasks
Add init() to the Chip trait kernel nrf
#4682 opened Dec 2, 2025 by bradjc Loading…
2 tasks
RFC: Revised IPC Design documentation rfc Issue designed for discussion and to solicit feedback.
#4680 opened Dec 1, 2025 by brghena Draft
1 task done
kernel: migrate to Rust 2024 edition HIL This affects a Tock HIL interface. kernel WG-Crypto In the purview of the crypto working group WG-Network In the purview of the Network working group.
#4677 opened Nov 26, 2025 by lschuermann Loading…
2 tasks
chips: add stm32l4xx support stm32
#4672 opened Nov 24, 2025 by KamilDuljas Loading…
2 tasks
Introduce components for chips, start with the nRF52840 nrf
#4633 opened Oct 11, 2025 by bradjc Loading…
2 tasks
chips: nrf5x: forbid unsafe nrf
#4626 opened Oct 9, 2025 by bradjc Loading…
2 tasks done
RFC: AES Encryption HIL Updates + Virtualizers chips/nrf Change pertains to the nRF5x family of MCUs. HIL This affects a Tock HIL interface. WG-Crypto In the purview of the crypto working group
#4609 opened Sep 19, 2025 by tyler-potyondy Draft
6 tasks
x86_q35: add keyboard driver over i8042 controller blocked Waiting on something, like a different PR or a dependency.
#4595 opened Sep 11, 2025 by domnudragota Draft
2 tasks
x86_q35: add ps/2 controller to connect mouse and keyboard peripherals for VGA blocked Waiting on something, like a different PR or a dependency.
#4594 opened Sep 11, 2025 by domnudragota Loading…
1 of 2 tasks
ci: use upstream qemu instead of building blocked-upstream Waiting on something from an upstream project WG-OpenTitan In the purview of the OpenTitan working group.
#4580 opened Sep 5, 2025 by ppannuto Loading…
2 tasks
Uninstall previous version when installing an app blocked Waiting on something, like a different PR or a dependency. kernel
#4530 opened Jul 28, 2025 by viswajith-g Loading…
2 tasks done
ProTip! Exclude everything labeled bug with -label:bug.