Cardinal semicolon

추기경;

추기경 운영 체제의 정리 및 부분 재 작성을 기반으로 한 매우 모듈 식 보안 지향 마이크로 넬 운영 체제.

건물

소스 외 빌드에 대한 CMAKE 구성 명령 :

CC=x86_64-elf-cardinalsemi-gcc cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_SYSTEM_NAME= " Generic " ..

사용자 정의 kmod 서명 키를 생성하려면 다음을 사용하십시오.

 printf kerneltest0 | xxd -pu > KMOD_HMAC_Key.txt

Kerneltest0을 원하는 소스 문자열로 교체합니다

목표 변경

대상을 설정하려면 루트 cmakelists.txt : set_platform (아치, 플랫폼)에서

아치에 대한 가능한 값 :

• "x86_64"

플랫폼의 가능한 값 :

• "PC"

장치 지원 상태

아크

추기경에서 포트, 객체 모델이 완전히 살아날 때까지 보유하십시오.

인텔 HD 그래픽

Haswell의 PRM 및 테스트 디스플레이 초기화 및 모드 설정.

인텔 HD 오디오

노드 열거 작업, 경로 찾기 및 Coreaudio 개발.

인텔 와이파이

아직 드라이버 코드가 없으며 FreeBSD IWM 드라이버 및 802.11 사양을 연구합니다. 네트워크 스택 후 작업을 시작할 것으로 예상되는 것은 최소한의 기능입니다.

선형 프레임 버퍼

드라이버 구현, 폴백 디스플레이 드라이버 역할을합니다.

PS/2

키보드 지원 작업, 마우스 지원 버그. 아직 CoreInput에 등록하지 않습니다.

RTL8169

WIP, 모든 RTL8169 기반 NIC에 필요한 최소 필수 기능.

RTL8139

MSI 지원 부족으로 인해 개발이 감소했습니다.

virtiogpu

Virtionet과 함께 사용되지 않으면 작동하며 Coredisplay에 제대로 등록합니다. 3D 가속도는 아직 사용할 수 없습니다.

Virtionet

virtiogpu와 함께 사용되지 않으면 Corenetwork에 등록합니다.