MVH Kernel Driver Overview: All 17 Registered Drivers

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

Get Started

Core Concepts

Shell Commands

Drivers

Changelog

MVH Kernel Driver Overview: All 17 Registered Drivers

Registered Drivers

Driver Pages

​Registered Drivers

​Driver Pages

Registered Drivers

Driver Pages