fix build for znver3

devices/xmupc1/README.md

@@ -100,7 +100,8 @@ scontrol top job_id
 
 # ssh
 
-本机可以使用 ssh 登陆。
+ssh 就是 putty winscp 之类的工具使用的那个协议。
+
 * 地址：office.chn.moe（如果在校外，需要厦大 VPN）
 * 端口：6007
 * 用户名：自己名字的拼音首字母
@@ -114,4 +115,8 @@ ssh jykang
 
 # rdp
 
-本机可以使用 rdp 登陆（就是 windows 那个远程桌面）。
+就是 windows 那个远程桌面。
+
+* 地址：xmupc1.chn.moe（如果在校外，需要厦大 VPN）
+* 用户名：自己名字的拼音首字母
+* 密码和 ssh 一样。

flake.lock

@@ -1583,11 +1583,11 @@
     },
     "nixpkgs_2": {
       "locked": {
-        "lastModified": 1708840194,
+        "lastModified": 1709000214,
-        "narHash": "sha256-Hr/SbEI2rI+ltnEseIGnJjjP5RroIlTZRC0QDYC5VgM=",
+        "narHash": "sha256-GkbkNpBikn3huj0ZUigT6uNykKQvqA383+TDrDeIZRw=",
         "owner": "CHN-beta",
         "repo": "nixpkgs",
-        "rev": "dbb7cad8cb704d1c8c63548c1be63d09e022ac18",
+        "rev": "e9ce64f581febc33726647cd48f5e2ce84307952",
         "type": "github"
       },
       "original": {