On Mon, Apr 18, 2022 at 12:40:11PM -0500, Tom Lendacky wrote: > The driver name is used when registering the driver in > snp_init_platform_device() and isn't really referenced after that. The > module name is sevguest.ko, while the device name ends up being > /dev/sev-guest. > > All that really matters is the device name that is exposed to user space. > But if we want things to match, then, yes, we can change the name that is > used in arch/x86/kernel/sev.c and drivers/virt/coco/sevguest/sevguest.c > to "sev-guest" if that works. Do you want the module name to also be > sev-guest.ko? Just to ack this on the ML after our IRC discussion: yeah, let's keep the common driver name sev-guest in order to avoid confusion. Other functionality like SEV-ES or only SEV can still go in there, if needed, but the name can remain. Thx. -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette