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

更改目标

要在root cmakelists.txt中设置目标：set_platform（拱门，平台）

Arch的可能值：

• “ x86_64”

平台的可能值：

• “个人电脑”

设备支持状态

Ahci

从红衣主教端口，直到对象模型完全充实。

英特尔高清图形

研究PRM和测试显示Haswell的初始化和模式集。

英特尔高清音频

节点枚举工作，路径调查和CoreAudio开发要走。

英特尔wifi

尚无驱动程序代码，研究FreeBSD IWM驱动程序和802.11规范。期望在网络堆栈之后开始工作最少。

线性框架

驱动程序实现，充当后备显示驱动程序。

PS/2

键盘支持工作，鼠标支持错误。尚未注册到CoreInput。

RTL8169

WIP，所有基于RTL8169的NIC的最小必需功能。

RTL8139

由于缺乏MSI支持，发展下降了。

virtiogpu

如果不与virtionet结合使用，则可以与CoredisPlay正确注册。 3D加速度尚不可用。

Virtionet

如果不与virtiogpu结合使用，则用corenetwork进行了登记。