修改4g拨号为QMI,需要在系统里后台执行quectel-CM

hc

2024-10-22 8ac6c7a54ed1b98d142dce24b11c6de6a1e239a5

 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?