MVH Kernel Driver Overview: All 17 Registered Drivers

MVH Kernel ships 17 built-in drivers covering VGA text output, serial UART, PS/2 keyboard, x86 CPU, CMOS RTC, PCI config, and more.

MVH Kernel ships a fixed set of hardware drivers that are compiled into the kernel image and registered with the device manager at boot. Each driver corresponds to a specific piece of hardware or a software subsystem — from the VGA text display and PS/2 keyboard that power the interactive shell, to the CPU diagnostic drivers that probe CPUID, FPU, MSR, and thermal sensors. All drivers are registered under stable string IDs so you can inspect their runtime status from the shell without any additional tooling.

Registered Drivers

The table below lists every driver registered in the current kernel manifest (version 1.1.2). The Driver ID is the canonical identifier used by the device manager. Use the devices shell command to inspect live online/offline status for each entry.

Driver ID	Description	Status
vga-text-cursor	80×25 VGA text mode with color support and hardware cursor synchronization	Active
serial-uart-16550	16550 UART serial output on COM1 — mirrors all kernel log and shell output	Active
ps2-keyboard-en-us	PS/2 keyboard with English US layout, Shift modifier, and Caps Lock	Active
x86-cpuid	x86 CPUID detection — vendor, brand, family/model/stepping, feature flags	Active
x86-fpu-xsave	FPU, SSE, XSAVE, AVX, and AVX-512F initialization when the hardware supports them	Active
x86-msr-rng	Hardware RNG via the RDRAND instruction; capability-guarded MSR read/write primitives	Active
intel-dts-temperature	Intel Digital Thermal Sensor (DTS) temperature via MSRs on supported Intel CPUs	Active
amd-northbridge-smn-temperature	AMD Tctl temperature via northbridge (families 10h–16h) and SMN (families 17h–1Ah)	Active
x86-paging	Dynamic 4 KiB page mapping/unmapping, NX enforcement, null-page guard, supervisor write protection	Active
cmos-rtc	CMOS real-time clock — year, month, day, hour, minute, second	Active
pci-config	PCI configuration space scan — vendor ID, device ID, class, subclass, bus/slot/function	Active
x86-idt-pic	x86_64 IDT setup with remapped 8259 PIC interrupt controller foundation	Active
x86-exception-dispatch	CPU exception gates for vectors 0–31, register/control-register dumps, per-vector counters	Active
pit-8254	Intel 8254-compatible Programmable Interval Timer at 100 Hz	Active
ramfs	Volatile in-memory RAM filesystem with directory and file support	Active
vfs-root	Virtual filesystem root — mounts RAMFS as / at boot	Active
device-manager	Registry-based device manager with typed online state tracking	Active

The devices shell command queries the device manager at runtime and shows the live registration state for each driver. If a driver fails its hardware probe (for example, a temperature backend on unsupported hardware), it reports itself as unavailable rather than crashing the kernel.

Driver Pages

For full API references, shell commands, and usage details, see the individual driver pages:

• VGA Text Driver — display output, colors, cursor, scrolling
• Serial UART Driver — 16550 COM1 output, QEMU debugging
• PS/2 Keyboard Driver — input, layout, shell integration
• CPU Drivers — CPUID, FPU/SSE/AVX, MSR, RNG, temperature
• PCI Config & RTC Drivers — bus scanning and real-time clock