-
Analyzing Binary Size Bloat in Tock
Tock is a powerful and secure embedded operating system. While Tock was designed with resource constraints in mind, years of additional features, generalizing to more platforms, and security improvements have brought resource, and in particular, code size bloat.
-
Talking Tock 56: New libtock-c Design
With pull request #370 merged,
libtock-c
now has a new, consistent format for the library API. This is a major usability upgrade for writing libtock-c apps. -
Talking Tock 55: Tock Compiles on Stable Rust!
With pull request #3802 merged, the Tock kernel now compiles with the stable version of the Rust compiler! This has been a long-standing goal to move away from experimental nightly features and wait for crucial nightly features to be stabilized.
-
Talking Tock 53: Introducing the Networking Working Group
With pull request #3578 merged, the Tock project has officially added its third working group! This group will focus on the networking stack within Tock. Quoting from its charter:
-
Talking Tock 53: Key-Value Store Updates
With TicKV, Tock supports running a key-value store on top of flash storage. Recently, the stack has been updated with a new interface trait and interface for userspace.