案例TA6平台评估应用程序 该存储库包含DARPA CASE程序平台评估1的CAmkES应用程序。 这些应用程序将具有CASE程序网络安全性增强功能的AFRL-RQ 软件置于ODROID-XU4目标硬件上。 指示 使用构建应用程序更容易。 这些可以通过安装 git clone https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles.git OpenUxAS使用并且在运行以下描述的构建时，必须可以访问该。 但是，默认情况下未将其安装在CAmk