--- layout: default css: plugin title: Kernel & Plugins - Frama-C ---
{% include headers.html header="features" %}
{% for tab in site.data.tabs %} {{ tab.name }} {% endfor %} {% if page.active == "kernel-plugin" %} {% endif %}
{{ content }}
{% include footer.html %}