> ## Documentation Index
> Fetch the complete documentation index at: https://kernel.mvhcloud.com/llms.txt
> Use this file to discover all available pages before exploring further.

# 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 |

<Note>
  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.
</Note>

## Driver Pages

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

* [VGA Text Driver](/drivers/vga) — display output, colors, cursor, scrolling
* [Serial UART Driver](/drivers/serial) — 16550 COM1 output, QEMU debugging
* [PS/2 Keyboard Driver](/drivers/keyboard) — input, layout, shell integration
* [CPU Drivers](/drivers/cpu) — CPUID, FPU/SSE/AVX, MSR, RNG, temperature
* [PCI Config & RTC Drivers](/drivers/pci-rtc) — bus scanning and real-time clock