Guillaume E
Guillaume E
Given the recent interest in optimizing Tock for code size, I think it would make sense to summarize and track existing and future ways of decreasing the size. - [x]...
When running `make ci-nosetup` (after `make clean` to be sure), the output of "CI-Job: Debug Support Targets" contains plenty of warnings looking like `$HOME/.rustup/toolchains/nightly-2020-06-03-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin/llvm-objdump: warning: '/tock/target/thumbv7em-none-eabi/release/nrf52dk.elf': failed to find source...
## Problem description Despite the existing [`static_init` macro](https://github.com/tock/tock/blob/master/kernel/src/common/utils.rs) to initialize static data, there are still many uses of "raw" `static mut` buffers or other data. `git grep "^static mut"` and...
Given that the topic of optimizing binary size came up in #1660, I want to mention that I recently observed what seems to be another missed optimization opportunity. Looking at...
Currently, the Tock kernel makes extensive use of "trait objects" (recognizable by `&dyn` references). One such example is the `Process` type, which implements the `ProcessType` trait. The rest of the...
## Context When working on https://github.com/google/OpenSK/pull/67, we realized that building some boards was failing to build on my desktop, but not on Travis-CI. The reason was that the **paths on...
For now, `CtOption::map` requires a `Default` type. This is especially problematic for types which require some constant-time validation of the input in their public constructors, say with the following API....
For now, the library only supports constant-time equality comparison. Could it be extended to support constant-time ordering comparisons (https://doc.rust-lang.org/std/cmp/trait.Ord.html)? In particular for slices of the same length (using lexicographical comparison)....
**Is your feature request related to a problem? Please describe.** `tokio::net` currently supports networking over TCP, UDP and Unix domain sockets. This doesn't include other protocols such as ICMP (ping)....
## Expected Behavior In the `develop` branch, the `cbor_map!` macro's documentation indicates that keys do not need to be sorted: https://github.com/google/OpenSK/blob/develop/libraries/cbor/src/macros.rs#L143. It is therefore expected that a map built like:...