Owner
tock
8 indexed repositories · View on GitHub
-
tock
A secure embedded operating system for microcontrollers
Rust · 6444 stars
-
libtock-rs
Rust userland library for Tock
Rust · 201 stars
-
libtock-c
Userland apps for Tock written in C and C++
C · 90 stars
-
tockloader
Tool for programming Tock onto hardware boards.
Python · 44 stars
-
elf2tab
Tool to create Tock Application Bundles from ELF files.
Rust · 18 stars
-
tock-registers
Interface and types for defining and manipulating registers and bitfields
Rust · 12 stars
-
book
Tock Hands-on Guide
C · 11 stars
-
tock-www
Tock OS website
HTML · 6 stars
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
Difficulty 4/5 3-5 days Newbie friendliness 52/100
-
bug
tock/tock-registers#65 · 2 comments · 1 assignee ·
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
tock/tock-registers#64 · 4 comments ·
-
tock-libraries
-
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
tock/libtock-rs#600 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
arch/riscv/pmp: fix KernelProtectionPMP and KernelProtectionMMLEPMP constructors to work on rv64i Open
Difficulty 3/5 1-2 days Newbie friendliness 58/100
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
tock/tock-registers#45 · 1 assignee ·
-
tock/tock-registers#44 · 2 comments · 1 assignee ·
-
tock/tock-registers#42 · 1 assignee ·
-
tock/tock-registers#41 · 1 assignee ·
-
tock/tock-registers#39 · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
tock/tockloader#140 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
tock/tock-registers#15 · 1 assignee ·
-
tock/tock-registers#14 · 1 assignee ·
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
tock/tock-registers#9 · 3 comments · 1 assignee ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 42/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
tock/tock-registers#8 ·
-
tock/tockloader#132 · 1 assignee ·
-
tock/tock-registers#4 · 4 comments · 2 reactions · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 52/100
-
WG-x86
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
tock/tock-registers#3 · 2 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
Nightly CI Failed Open
Difficulty 3/5 1-2 days Newbie friendliness 25/100
-
Difficulty 3/5 1-2 days Newbie friendliness 52/100
tock/tockloader#125 · 7 comments ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Release 2.3 Open
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
RISC-V AIA support Open
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
tock/libtock-rs#578 · 3 comments ·
-
tock/libtock-rs#577 · 9 comments · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
Difficulty 5/5 Over a week Newbie friendliness 15/100
tock/libtock-rs#576 · 8 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
good first issue
tock/libtock-rs#574 · 3 comments · 1 assignee ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.