os/ (Kale OS)
Bare-Metal Operating System & Microkernel
Pushing Kale directly to bare-metal hardware. Features a 64-bit long-mode bootloader, physical memory page frame allocator, IDT interrupt dispatch, and linear framebuffer driver capable of rendering Kale UI widgets without an operating system.

Hardware Linear Framebuffer
The microkernel boots via standard Multiboot header, transitions the CPU to 64-bit long mode, programs the Interrupt Descriptor Table (IDT), and renders Kale UI widgets directly onto the physical display controller.

// Bare-metal kernel entry point in pure Kale
struct BootInfo {
framebuffer_addr: *uint32,
screen_width: uint32,
screen_height: uint32,
pitch: uint32,
}
fn kernel_main(boot: *BootInfo) -> void {
// Clear screen to deep Renaissance navy
let fb: *uint32 = boot.framebuffer_addr;
let total_pixels: uint32 = boot.screen_width * boot.screen_height;
let i: uint32 = 0;
while i < total_pixels {
fb[i] = 0x070b19; // #070b19
i = i + 1;
}
}Deterministic command-line invocations to build, link native dynamic dependencies, and run automated regression tests:
nasm -f elf64 os/boot/boot.asm -o bin/boot.okale build os/kernel/main.kl -o bin/kernel.bin --no-stdqemu-system-x86_64 -kernel bin/kernel.binGPG Key 1B917D4779A6102E • Continuous integration with automated symbol verification.
Compiles without standard C runtime, directly interfacing with CPU control registers and paging tables.
Draws UI components directly to memory-mapped linear framebuffers in high-resolution graphics mode.
Native Programmable Interrupt Controller (PIC/APIC) configuration and preemptive time-slice scheduler.