验证工具的benchmark是以docker的方式提供的。我先把docker安装好，一步步验证都没问题。但是当我在WSL2上按照dockerfile给定的步骤重新安装后，却发现有一步结果出错。检查之后才发现，工具链的某个组件的版本我安装的是最新版，benchmark只能在旧版下正常运行。改成与docker一致的版本后，验证工具总算在WSL2上跑起来了。

本来以为大功告成，结果打包输出成vhdx文件后，在另一台机器上输入，发现/opt和/home里的文件都没打包进来。问了DeepSeek后才知道，需要在管理员权限下打包输出才行。用管理员权限打开Powershell，重新打包，终于搞定。