seL4

SEL4 마이크로 커널

이 프로젝트에는 SEL4 Microkernel의 소스 코드가 포함되어 있습니다.

공식적인 정확성 증거에 대한 세부 정보를 포함하여 SEL4 마이크로 커널에 대한 자세한 내용은 sel4.systems 웹 사이트 및 관련 FAQ를 참조하십시오.

이 저장소의 최근 릴리스를 인용 한 DOIS :

우리는 SEL4에 대한 기여를 환영합니다. 기여 방법에 대한 정보는 웹 사이트를 참조하십시오.

이 저장소는 일반적으로 분리 된 상태로 사용되지 않고 더 큰 프로젝트에서 빌드 시스템의 일부로 사용됩니다.

SEL4 기본

• 튜토리얼
• 선적 서류 비치
• SEL4 라이브러리
• sel4test
• 디버깅 가이드
• 벤치마킹 가이드
• SEL4의 가상화
• 호스트 빌드 의존성
• 포팅 SEL4

지역 사회

• 포럼 :
  • 담화
  • SEL4 발표
  • SEL4 DEVEL
• 제안 된 프로젝트
• 커뮤니티 프로젝트

전체 목록은 SEL4 웹 사이트의 연락처 링크를 참조하십시오.

보안 취약점보고

SEL4 또는 관련 소프트웨어에서 보안 취약점을 찾았다 고 생각되면 취약성 공개 정책을 준수하도록 요청합니다.

수동

가장 최근 릴리스를위한 매뉴얼의 호스팅 버전은 여기에서 찾을 수 있습니다.

API의 웹 버전은 여기에서 찾을 수 있습니다.

저장소 개요

• SEL4의 include 및 src : C 및 ASM 소스 코드
• tools : 도구 빌드 도구
• libsel4 : sel4 abi에 대한 c 바인딩
• manual : SEL4 참조 설명서의 라텍스 소스

지침을 작성하십시오

빌드 지침은 SEL4 웹 사이트를 참조하십시오.

상태

릴리스 및 현재 프로젝트 상태 목록은 SEL4 릴리스에서 찾을 수 있습니다.

• 로드맵 : 개발의 새로운 기능
• 하드웨어 지원 : 하드웨어 플랫폼 포트에 대한 정보
• 커널 기능 : 사용 가능한 커널 기능에 대한 정보
• Userland 구성 요소 및 드라이버 : 사용 가능한 장치 드라이버 및 Userland 구성 요소

특허

license.md 파일을 참조하십시오.