--- layout: default css: plugin title: Kernel & Plugins - Frama-C ---
{% include headers.html header=2 %}
{% for tab in site.data.tabs %} {{ tab.name }} {% unless forloop.last %} {% endunless %} {% endfor %} {% if page.active == 1 %} {% endif %}
{{ content }}
{% include footer.html %}