Cardinal semicolon

Kardinal;

Sistem operasi microkernel yang sangat modular dan berorientasi keamanan berdasarkan pembersihan dan penulisan ulang sebagian dari sistem operasi kardinal.

Bangunan

Perintah konfigurasi cmake, untuk build out-of-source:

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

Untuk menghasilkan kunci penandatanganan KMOD khusus, gunakan:

 printf kerneltest0 | xxd -pu > KMOD_HMAC_Key.txt

Mengganti Kerneltest0 dengan string sumber yang Anda inginkan

Mengubah target

Untuk mengatur target, di root cmakelists.txt: set_platform (arch, platform)

Nilai yang mungkin untuk Arch:

• "x86_64"

Nilai yang mungkin untuk platform:

• "PC"

Status Dukungan Perangkat

Ahci

Port dari Cardinal, on-hold sampai model objek sepenuhnya disempurnakan.

Grafis Intel HD

Mempelajari PRMS dan pengujian Tampilkan inisialisasi dan mode yang ditetapkan untuk Haswell.

Audio Intel HD

Pencacahan simpul kerja, pencarian jalur, dan pengembangan coreaudio untuk pergi.

Intel WiFi

Belum ada kode driver, mempelajari driver IWM FreeBSD dan spesifikasi 802.11. Berharap untuk mulai bekerja setelah tumpukan jaringan berfungsi minimal.

Framebuffer linier

Driver diimplementasikan, bertindak sebagai driver tampilan fallback.

PS/2

Dukungan keyboard Bekerja, dukungan mouse disadap. Belum mendaftar ke CoreInput.

RTL8169

WIP, fungsionalitas minimum yang diperlukan untuk semua NIC berbasis RTL8169.

RTL8139

Pengembangan turun karena kurangnya dukungan MSI.

Virtiogpu

Bekerja jika tidak digunakan bersama dengan Virtionet, register dengan benar dengan coredisplay. Akselerasi 3D belum tersedia.

Virtionet

Bekerja jika tidak digunakan bersama dengan VirtioGPU, register dengan corenetwork.