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