无法验证生成的可执行文件是否为ARM二进制文件，其中包含‘`cargo readobj`：没有这样的子命令

cargo readobj是Rust编程语言中的一个命令行工具，用于查看和分析可执行文件或库文件的对象文件格式。它提供了对二进制文件的详细解析和展示，包括文件头、节（section）、符号表、重定位表等信息。

然而，cargo readobj并不是Rust编程语言的标准工具，因此在Cargo命令行工具中并没有直接提供该子命令。如果你在使用cargo readobj时遇到了"没有这样的子命令"的错误提示，可能是因为你使用的是过时的或非官方的Rust工具链。

要验证生成的可执行文件是否为ARM二进制文件，可以使用其他工具来完成。以下是一些常用的工具和方法：

1. file命令：file命令是一个常用的工具，用于识别文件类型。在命令行中运行file <可执行文件路径>，它会输出文件的类型信息，包括架构信息。如果输出中包含"ARM"或"ARM64"等关键词，那么可执行文件就是ARM二进制文件。
2. readelf命令：readelf是一个用于查看和分析可执行文件的工具，可以提供更详细的信息。在命令行中运行readelf -h <可执行文件路径>，它会输出文件的ELF头信息，其中包含了架构信息。如果输出中的"Machine"字段指示为ARM架构（如ARM、ARM64等），那么可执行文件就是ARM二进制文件。
3. objdump命令：objdump也是一个常用的工具，用于反汇编可执行文件。在命令行中运行objdump -f <可执行文件路径>，它会输出文件的头部信息，其中包含了架构信息。如果输出中的"architecture"字段指示为ARM架构，那么可执行文件就是ARM二进制文件。

以上是一些常用的工具和方法，可以帮助你验证生成的可执行文件是否为ARM二进制文件。请根据实际情况选择适合的工具进行验证。

（注意：以上回答中没有提及云计算品牌商的相关产品和链接地址，如有需要，请自行搜索相关信息。）