Hello WCET Patmos HelloWorld程序中的WCET分析步骤

在hello-wcet项目中，我们展示了如何在Patmos硬件平台上运行并分析一个包含WCET分析步骤的HelloWorld示例。

先决条件
我们假设Patmos工具（包括patmos-clang、pasim和platin）已经正确安装并添加到系统的PATH路径中。所有主要步骤都可以通过Makefile来简化执行。

编译和运行
首先，我们编译并链接helloworld程序：
```

patmos-clang -o hello.elf hello.c

pasim hello.elf # 或者使用 make run

Hello world.

volatile int count = 12;