flexdacc --link

命令功能

固件链接命令，执行该命令时需注意以下事项：

• 调用verifier扫描用户代码，判断是否有不安全行为。
• 透传编译命令给链接器（aarch64-none-elf-gcc），即执行aarch64-none-elf-gcc [options]。
• 将链接产物打包成固件。

命令格式

flexdacc --link [options]

参数说明

verifier仅能对C代码进行检查，用户可通过修改CMake配置，决定是否调用verifier。该命令依赖于CMake配置，执行flexdacc命令时请先完成CMake配置，并执行CMake。

使用实例

将编译产物链接为符号表文件（sim.elf），并打包成固件。

flexdacc --link test1.a test2.a -o sim.elf