> replaces an ultra-functional general-purpose kernel evolved over decades to support every conceivable application with a drastically smaller "kernel"

Is a Proxmox kernel that much smaller than a typical Linux kernel?

Isn't Proxmox a management layover over Debian and KVM? I doubt the kernel is even smaller.

I don't know. I don't use Proxmox.