Merge #425

425: Weekly minutes r=adamgreig a=jamesmunns



Co-authored-by: James Munns <[email protected]>

Author: bors[bot]

minutes/2020-02-11.md

@@ -0,0 +1,40 @@
+# Embedded Working Group Meeting Notes
+
+* [Coordination Repository]
+* Meetings: Tuesday 8pm Europe/Berlin time
+* [Join the Chat]
+* Today's meeting: 2020-02-11
+
+[Coordination Repository]: https://github.com/rust-embedded/wg
+[Join the Chat]: https://riot.im/app/#/room/#rust-embedded:matrix.org
+[Meeting Agenda]: None this week
+
+## Attendance
+
+Write your GH username or Matrix handle here!
+
+* jamesmunns
+* twitchyliquid64
+* thejpster
+* therealprof
+* disasm
+* almindor
+* jschievink
+* adamgreig
+* cr1901
+* SEGFAULT (Lauren)
+
+## Reminders
+
+None this week!
+
+## Agenda - Embedded Mutex Implementation RFCs
+
+* "Address Multi-Core Soundness by abolishing Send and Sync"
+    * proposed by jschievink
+    * https://github.com/rust-embedded/wg/pull/419
+* "a sound {bare_metal,cortex_m,etc}::Mutex"
+    * proposed by japaric
+    * https://github.com/rust-embedded/wg/pull/388
+
+Result: Move forward with RFC419, with a little bit of de-scoping.