1<!-- 2 Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 4 SPDX-License-Identifier: GPL-2.0-only 5--> 6 7CAmkES is a component platform for seL4. This directory contains files related 8to a formal Isabelle model of CAmkES. 9 10 adl-spec/ - Architectural model. 11 glue-proofs/ - AutoCorres-based work (bottom-up approach to glue code). 12 glue-spec/ - Behavioural model (top-down approach to glue code). 13