seL4

SEL4 Microkernel

Этот проект содержит исходный код Sel4 Microkernel.

Для получения подробной информации о Microkernel Sel4, включая подробную информацию о его формальном доказательстве корректности, см. Веб -сайт sel4.systems и связанный с ним часто задаваемые вопросы.

DOI для ссылки на недавние релиза этого хранилища:

Мы приветствуем вклад в SEL4. Пожалуйста, смотрите веб -сайт для получения информации о том, как внести свой вклад.

Этот репозиторий обычно не используется в изоляции, но как часть системы сборки в более крупном проекте.

SEL4 Основы

• Учебные пособия
• Документация
• SEL4 Библиотеки
• sel4test
• Руководство по отладки
• Руководство по сравнению
• Виртуализация на SEL4
• Зависимости для строительства хозяина
• Портирование Sel4

Сообщество

• Форумы:
  • Дискурс
  • sel4 объявляет
  • sel4 devel
• Предлагаемые проекты
• Общественные проекты

Смотрите ссылки на контакты на веб -сайте SEL4 для полного списка.

Сообщение уязвимостей безопасности

Если вы считаете, что нашли уязвимость безопасности в SEL4 или соответствующем программном обеспечении, мы просим вас следовать нашей политике раскрытия уязвимости.

Руководство

Объединенную версию руководства для самого последнего выпуска можно найти здесь.

Веб -версию API можно найти здесь

Обзор репозитория

• include и src : C и исходный код ASM SEL4
• tools : инструменты сборки
• libsel4 : C привязки для Sel4 Abi
• manual : Latex Источники справочного руководства SEL4

Построить инструкции

Смотрите веб -сайт SEL4 для инструкций по сборке.

Статус

Список выпусков и текущего статуса проекта можно найти в выпусках SEL4.

• Дорожная карта: новые функции в разработке
• Аппаратная поддержка: информация о портах аппаратной платформы
• Функции ядра: информация о доступных функциях ядра
• Компоненты и драйверы пользователя: Доступные драйверы устройств и компоненты пользователя

Лицензия

Смотрите лицензию файла.md.