Включение EDL-файлов в описание политики безопасности решения на базе KasperskyOS

Чтобы включить в описание политики EDL-файл для ядра KasperskyOS, нужно использовать следующую декларацию:

use EDL kl.core.Core

Чтобы включить в описание политики EDL-файл для программы (например, для драйвера или прикладной программы), нужно использовать следующую декларацию:

use EDL <имя класса процессов>

Пример:

/* Включение файла UART.edl */

use EDL kl.drivers.UART

/* Включение файла Einit.edl */

use EDL Einit

/* Включение файла Server.edl */

use EDL ping.Server

Генератор исходного кода модуля безопасности Kaspersky Security Module находит IDL-, CDL-файлы через EDL-файлы, так как EDL-файлы содержат имена компонентов и интерфейсов, которые являются ссылками на IDL- и CDL-файлы, CDL-файлы также содержат имена компонентов и интерфейсов для поиска IDL- и CDL-файлов.