default settings GPIO PA4 PA6 PA3 PB5

hc

2024-02-19 890e1df1bec891d9203724541e81f8fbe5183388

 kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus
..
..
@@ -1,7 +1,7 @@
1
1
 C MP+poonceonces
2
2
 
3
3
 (*
4
- * Result: Maybe
4
+ * Result: Sometimes
5
5
  *
6
6
  * Can the counter-intuitive message-passing outcome be prevented with
7
7
  * no ordering at all?