Guillaume E

The `workflows/boards_build.yml` already tests `./deploy.py --board= --no-app --programmer=none`. I guess the `--programmer=none` corresponds to the `--dry-run` parameter proposed in this issue. Should we add anything else? I'd say at the...

The `linked_list_allocator` warning is now removed, due to not depending on the `spin` feature.

See the [`register_structs!` macro of Tock](https://github.com/tock/tock/blob/master/libraries/tock-register-interface/src/macros.rs#L397). It should boil down to matching `$(#[$attr:meta])*` before each item that can be `#cfg`ed.

Travis is long gone, and Bors isn't really useful anyway now that GitHub Actions are fully-fledged.

For now, custom XZ filters are not implemented, but I see that #101 is proposing an implementation for the delta filter. Feel free to send a PR to add an...

It looks like this is because the Rust compiler doesn't support inlining a function labeled with some `target_feature(enable = "foo")` into another function labeled with another set of enabled features...

Apologies again for the delay. I'll merge this now and fix any pending issue on top of it. Thanks a lot for your contribution!

> We should write an example that is valid instead. How about something like this: ```rust fn main() { let mut array = [5, 6]; let r1 = &mut array[0]...

Bonus code to modify if you want to get to Miri: ```rust fn main() { let mut array = [5, 6]; let r1 = &mut array[0] as *mut i32; let...

> I don't disagree :smile: We will need to reorder the slides a bit and make the whole things more streamlined. > > However, I'm afraid of putting more stuff...