Cardinal; - An extremely modular, security oriented microkernel operating system.
An extremely modular, security oriented microkernel operating system based on a cleanup and partial rewrite of the Cardinal operating system.
CMake configuration command, for out-of-source builds:
CC=x86_64-elf-cardinalsemi-gcc cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_SYSTEM_NAME="Generic" ..
To generate a custom kmod signing key, use:
printf kerneltest0 | xxd -pu > KMOD_HMAC_Key.txt
replacing kerneltest0 with your desired source string
To set the target, in the root CMakeLists.txt:
SET_PLATFORM( ARCH, PLATFORM )
Possible values for ARCH:
Possible values for PLATFORM:
Port from Cardinal, on-hold until object model is fully fleshed out.
Studying PRMs and testing display initialization and mode set for Haswell.
Node enumeration working, path-finding and CoreAudio development to go.
No driver code yet, studying FreeBSD iwm driver and 802.11 specification. Expecting to start work after Network stack is minimally functional.
Driver implemented, acts as fallback display driver.
Keyboard support working, Mouse support bugged. Does not register to CoreInput yet.
WIP, Minimum required functionality for all RTL8169 based NICs.
Development dropped due to lack of MSI support.
Works if not used in conjunction with VirtioNet, registers properly with CoreDisplay. 3d Acceleration not available yet.
Works if not used in conjunction with VirtioGpu, registers with CoreNetwork.