Re: [PATCH v10 00/11] Add TDX Guest Support (Initial support)

[Dave Hansen]

On 10/11/21 9:33 AM, Dave Hansen wrote:
> FWIW, if you're in search of funky Kconfigs for compiling x86, I've got
> a big bundle of them. 

In case anyone's interested, here's a bundle of them:

	https://sr71.net/~dave/intel/configs-5.15.tar.gz

Nothing magic here, just a list of configs that have caused me problems
over the years.  These tend to be tweaked a *bit* away from their
namesake.  For instance, "allnoconfig" is typically a "make
allnoconfig", with a few things added back so it has a chance of booting
somewhere.

These, once untarred, are in a directory structure so you can easily:

	make O=/path/to/build/64bit menuconfig

or whatever.