-
-
Notifications
You must be signed in to change notification settings - Fork 772
Pull requests: tock/tock
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
static mut: Convert DEBUG_WRITER to SingleThreadValue
component
kernel
WG-OpenTitan
In the purview of the OpenTitan working group.
#4624
opened Oct 8, 2025 by
bradjc
Loading…
2 tasks done
Add flux tool, and flux specs to verify ring buffer implementation
blocked
Waiting on something, like a different PR or a dependency.
kernel
#4623
opened Oct 7, 2025 by
ppannuto
Loading…
1 of 2 tasks
kernel/platform/chip: change In the purview of the OpenTitan working group.
print_state
to take optional &self
kernel
nrf
sam4l
stm32
WG-OpenTitan
#4622
opened Oct 6, 2025 by
lschuermann
Loading…
1 of 2 tasks
doc: maintenance: doc version numbers for releases
documentation
#4615
opened Sep 30, 2025 by
bradjc
Loading…
2 tasks done
boards: Remove padding from the memory layout of Raspberry Pi Pico 2
blocked
Waiting on something, like a different PR or a dependency.
#4611
opened Sep 24, 2025 by
JADarius
Loading…
2 tasks
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
Add back Final review period for a pull request.
Cargo.lock
for the main Tock kernel workspace
last-call
#4605
opened Sep 17, 2025 by
lschuermann
Loading…
2 tasks
kernel/platform/mpu: make MPU an unsafe trait, change mock impl from RISC-V architecture
kernel
waiting-on-author
()
to NoMPU
arch/risc-v
#4602
opened Sep 16, 2025 by
lschuermann
Loading…
2 tasks
boards: add lpc55s69-evk
waiting-on-author
#4601
opened Sep 16, 2025 by
genan2003
Loading…
5 tasks done
doc: Add a "Code Goals" document
documentation
#4599
opened Sep 15, 2025 by
bradjc
Loading…
2 tasks done
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
libraries/tock-register-interface: split out into separate repository
arch/risc-v
RISC-V architecture
kernel
tock-libraries
This affects libraries supported by the Tock project
#4588
opened Sep 9, 2025 by
lschuermann
Loading…
1 of 2 tasks
[Cursor Test] Remove PcComponent from of This affects a Tock HIL interface.
kernel
nrf
risc-v
sam4l
stm32
WG-Network
In the purview of the Network working group.
WG-OpenTitan
In the purview of the OpenTitan working group.
chips/
in favor of DefaultPeripherals
/ InterruptService
approach
component
HIL
#4583
opened Sep 5, 2025 by
hudson-ayers
Loading…
2 tasks done
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
DeferredCall: Port to RISC-V architecture
chips/nrf
Change pertains to the nRF5x family of MCUs.
component
kernel
WG-OpenTitan
In the purview of the OpenTitan working group.
SingleThreadValue
arch/risc-v
#4566
opened Aug 20, 2025 by
bradjc
Loading…
2 tasks done
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
cyw43439: add support for CYW43439 wifi chip
HIL
This affects a Tock HIL interface.
waiting-on-author
WG-Network
In the purview of the Network working group.
#4529
opened Jul 27, 2025 by
irina-nita
Loading…
4 tasks done
app_loader: add uninstall functionality
component
kernel
#4528
opened Jul 25, 2025 by
viswajith-g
Loading…
2 tasks done
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.