ระบบปฏิบัติการ microkernel ที่เน้นความปลอดภัยเป็นอย่างมากโดยใช้การทำความสะอาดและการเขียนใหม่บางส่วนของระบบปฏิบัติการที่สำคัญ
คำสั่ง cmake configuration สำหรับการสร้างที่อยู่นอกแหล่งข้อมูล:
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 (Arch, แพลตฟอร์ม)
ค่าที่เป็นไปได้สำหรับส่วนโค้ง:
ค่าที่เป็นไปได้สำหรับแพลตฟอร์ม:
พอร์ตจากพระคาร์ดินัล, on-hold จนกระทั่งโมเดลวัตถุถูกเนื้ออย่างเต็มที่
การศึกษา PRMS และการทดสอบการเริ่มต้นการเริ่มต้นและการตั้งค่าโหมดสำหรับ Haswell
การแจกแจงโหนดการทำงานการค้นหาเส้นทางและการพัฒนา coreAudio ที่จะไป
ยังไม่มีรหัสไดรเวอร์ศึกษาไดรเวอร์ FreeBSD IWM และข้อกำหนด 802.11 คาดว่าจะเริ่มงานหลังจากสแต็กเครือข่ายใช้งานได้น้อยที่สุด
ไดรเวอร์ที่ใช้งานทำหน้าที่เป็นไดรเวอร์การแสดงผลทางเลือก
การสนับสนุนการทำงานของคีย์บอร์ดการสนับสนุนเมาส์บั๊ก ยังไม่ได้ลงทะเบียนกับ CoreInput
WIP, ฟังก์ชั่นที่จำเป็นขั้นต่ำสำหรับ NICs ที่ใช้ RTL8169 ทั้งหมด
การพัฒนาลดลงเนื่องจากขาดการสนับสนุน MSI
ใช้งานได้หากไม่ได้ใช้ร่วมกับ Virtionet ลงทะเบียนอย่างถูกต้องด้วย Coredisplay ยังไม่มีการเร่งความเร็ว 3 มิติ
ใช้งานได้หากไม่ได้ใช้ร่วมกับ Virtiogpu ลงทะเบียนด้วย corenetwork