Mark Kettenis <mark.kettenis@xs4all.nl> wrote:

> > Date: Wed, 12 Aug 2026 19:30:32 +0200
> > From: Hans-Jörg Höxer <hshoexer@genua.de>
> > 
> > On Tue, Aug 11, 2026 at 03:19:18PM +0200, Mark Kettenis wrote:
> > > > Date: Tue, 11 Aug 2026 11:33:30 +0200
> > > > From: Hans-Jörg Höxer <hshoexer@genua.de>
> > > 
> > > This includes the SEV-SNP code unconditionally in all amd64 kernels.
> > > We probably want it on RAMDISK_CD and VMBOOT.  But I'm not sure about
> > > the (small) RAMDISK.
> > 
> > I did a quick test and according to size(1) we save 4272 bytes by building
> > the small RAMDISK without SEV.  To do this properly I'd say we need an
> > config option SEV.
> 
> I believe 4K is considered to be significant savings.

Yes, do this please.