GitHub repository: sireum/case-env
Primary language: Shell
Description: Development Environment Setup for Sireum with seL4 (DARPA CASE)