* Update kernel version * Add kernel directory removal during clean target * Add x86 and x86_64 default configs Change-Id: I6793bffd2c537a0e9fe7c07abbea99b28defb52e Signed-off-by: Philipp Deppenwiese <zaolin@das-labor.org> Reviewed-on: https://review.coreboot.org/27745 Reviewed-by: Ronald G. Minnich <rminnich@gmail.com> Reviewed-by: David Hendricks <david.hendricks@gmail.com> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
		
			
				
	
	
		
			148 lines
		
	
	
		
			4.1 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			148 lines
		
	
	
		
			4.1 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
| # CONFIG_64BIT is not set
 | |
| # CONFIG_LOCALVERSION_AUTO is not set
 | |
| CONFIG_KERNEL_XZ=y
 | |
| # CONFIG_SWAP is not set
 | |
| CONFIG_SYSVIPC=y
 | |
| CONFIG_POSIX_MQUEUE=y
 | |
| # CONFIG_USELIB is not set
 | |
| CONFIG_NO_HZ_IDLE=y
 | |
| CONFIG_HIGH_RES_TIMERS=y
 | |
| CONFIG_BLK_DEV_INITRD=y
 | |
| # CONFIG_RD_GZIP is not set
 | |
| # CONFIG_RD_BZIP2 is not set
 | |
| # CONFIG_RD_LZMA is not set
 | |
| CONFIG_CC_OPTIMIZE_FOR_SIZE=y
 | |
| # CONFIG_MULTIUSER is not set
 | |
| # CONFIG_SYSFS_SYSCALL is not set
 | |
| # CONFIG_BUG is not set
 | |
| # CONFIG_PCSPKR_PLATFORM is not set
 | |
| # CONFIG_BASE_FULL is not set
 | |
| # CONFIG_AIO is not set
 | |
| # CONFIG_KALLSYMS is not set
 | |
| CONFIG_BPF_SYSCALL=y
 | |
| CONFIG_USERFAULTFD=y
 | |
| CONFIG_EMBEDDED=y
 | |
| # CONFIG_VM_EVENT_COUNTERS is not set
 | |
| # CONFIG_COMPAT_BRK is not set
 | |
| CONFIG_SLOB=y
 | |
| # CONFIG_SLAB_MERGE_DEFAULT is not set
 | |
| CONFIG_GCC_PLUGINS=y
 | |
| CONFIG_GCC_PLUGIN_LATENT_ENTROPY=y
 | |
| CONFIG_GCC_PLUGIN_STRUCTLEAK=y
 | |
| CONFIG_GCC_PLUGIN_STRUCTLEAK_BYREF_ALL=y
 | |
| CONFIG_GCC_PLUGIN_RANDSTRUCT=y
 | |
| CONFIG_CC_STACKPROTECTOR_STRONG=y
 | |
| CONFIG_ARCH_MMAP_RND_BITS=16
 | |
| CONFIG_REFCOUNT_FULL=y
 | |
| CONFIG_PARTITION_ADVANCED=y
 | |
| # CONFIG_IOSCHED_DEADLINE is not set
 | |
| # CONFIG_IOSCHED_CFQ is not set
 | |
| # CONFIG_MQ_IOSCHED_DEADLINE is not set
 | |
| # CONFIG_MQ_IOSCHED_KYBER is not set
 | |
| # CONFIG_ZONE_DMA is not set
 | |
| # CONFIG_X86_FAST_FEATURE_TESTS is not set
 | |
| # CONFIG_X86_MPPARSE is not set
 | |
| # CONFIG_X86_EXTENDED_PLATFORM is not set
 | |
| # CONFIG_SCHED_OMIT_FRAME_POINTER is not set
 | |
| # CONFIG_DMI is not set
 | |
| CONFIG_PREEMPT=y
 | |
| # CONFIG_X86_MCE is not set
 | |
| # CONFIG_MICROCODE is not set
 | |
| CONFIG_SPARSEMEM_MANUAL=y
 | |
| # CONFIG_COMPACTION is not set
 | |
| # CONFIG_MTRR is not set
 | |
| # CONFIG_X86_INTEL_UMIP is not set
 | |
| CONFIG_KEXEC=y
 | |
| # CONFIG_RELOCATABLE is not set
 | |
| # CONFIG_MODIFY_LDT_SYSCALL is not set
 | |
| # CONFIG_SUSPEND is not set
 | |
| CONFIG_PM=y
 | |
| CONFIG_WQ_POWER_EFFICIENT_DEFAULT=y
 | |
| # CONFIG_ACPI_REV_OVERRIDE_POSSIBLE is not set
 | |
| # CONFIG_ACPI_AC is not set
 | |
| # CONFIG_ACPI_BATTERY is not set
 | |
| # CONFIG_ACPI_BUTTON is not set
 | |
| # CONFIG_ACPI_FAN is not set
 | |
| # CONFIG_ACPI_PROCESSOR is not set
 | |
| # CONFIG_ACPI_TABLE_UPGRADE is not set
 | |
| CONFIG_CPU_FREQ=y
 | |
| CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE=y
 | |
| # CONFIG_CPU_IDLE is not set
 | |
| CONFIG_PCIEPORTBUS=y
 | |
| CONFIG_PCIEASPM_POWER_SUPERSAVE=y
 | |
| CONFIG_PCI_MSI=y
 | |
| # CONFIG_BINFMT_SCRIPT is not set
 | |
| # CONFIG_COREDUMP is not set
 | |
| CONFIG_NET=y
 | |
| CONFIG_PACKET=y
 | |
| CONFIG_UNIX=y
 | |
| CONFIG_INET=y
 | |
| # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
 | |
| # CONFIG_INET_XFRM_MODE_TUNNEL is not set
 | |
| # CONFIG_INET_XFRM_MODE_BEET is not set
 | |
| # CONFIG_IPV6 is not set
 | |
| # CONFIG_WIRELESS is not set
 | |
| # CONFIG_UEVENT_HELPER is not set
 | |
| CONFIG_DEVTMPFS=y
 | |
| CONFIG_DEVTMPFS_MOUNT=y
 | |
| # CONFIG_STANDALONE is not set
 | |
| # CONFIG_FW_LOADER is not set
 | |
| # CONFIG_ALLOW_DEV_COREDUMP is not set
 | |
| # CONFIG_PNP_DEBUG_MESSAGES is not set
 | |
| CONFIG_BLK_DEV_LOOP=y
 | |
| CONFIG_BLK_DEV_SD=y
 | |
| # CONFIG_SCSI_LOWLEVEL is not set
 | |
| CONFIG_ATA=y
 | |
| CONFIG_SATA_AHCI=y
 | |
| CONFIG_MD=y
 | |
| CONFIG_BLK_DEV_DM=y
 | |
| CONFIG_DM_CRYPT=y
 | |
| CONFIG_HW_RANDOM_TIMERIOMEM=y
 | |
| # CONFIG_HW_RANDOM_AMD is not set
 | |
| # CONFIG_HW_RANDOM_VIA is not set
 | |
| # CONFIG_DEVPORT is not set
 | |
| CONFIG_I2C=y
 | |
| CONFIG_POWER_SUPPLY=y
 | |
| # CONFIG_HWMON is not set
 | |
| CONFIG_THERMAL=y
 | |
| # CONFIG_USB_SUPPORT is not set
 | |
| # CONFIG_X86_PLATFORM_DEVICES is not set
 | |
| # CONFIG_FIRMWARE_MEMMAP is not set
 | |
| CONFIG_GOOGLE_FIRMWARE=y
 | |
| CONFIG_GOOGLE_COREBOOT_TABLE_ACPI=y
 | |
| CONFIG_GOOGLE_MEMCONSOLE_COREBOOT=y
 | |
| CONFIG_GOOGLE_VPD=y
 | |
| CONFIG_EXT4_FS=y
 | |
| # CONFIG_FILE_LOCKING is not set
 | |
| # CONFIG_DNOTIFY is not set
 | |
| # CONFIG_INOTIFY_USER is not set
 | |
| CONFIG_TMPFS=y
 | |
| CONFIG_SQUASHFS=y
 | |
| # CONFIG_SQUASHFS_ZLIB is not set
 | |
| CONFIG_SQUASHFS_XZ=y
 | |
| # CONFIG_NETWORK_FILESYSTEMS is not set
 | |
| # CONFIG_ENABLE_WARN_DEPRECATED is not set
 | |
| # CONFIG_ENABLE_MUST_CHECK is not set
 | |
| CONFIG_FRAME_WARN=1024
 | |
| # CONFIG_UNUSED_SYMBOLS is not set
 | |
| # CONFIG_SECTION_MISMATCH_WARN_ONLY is not set
 | |
| # CONFIG_SCHED_DEBUG is not set
 | |
| # CONFIG_DEBUG_PREEMPT is not set
 | |
| # CONFIG_FTRACE is not set
 | |
| CONFIG_STRICT_DEVMEM=y
 | |
| CONFIG_IO_STRICT_DEVMEM=y
 | |
| # CONFIG_X86_VERBOSE_BOOTUP is not set
 | |
| # CONFIG_EARLY_PRINTK is not set
 | |
| # CONFIG_DOUBLEFAULT is not set
 | |
| CONFIG_OPTIMIZE_INLINING=y
 | |
| # CONFIG_X86_DEBUG_FPU is not set
 | |
| CONFIG_UNWINDER_GUESS=y
 | |
| CONFIG_SECURITY_DMESG_RESTRICT=y
 | |
| CONFIG_FORTIFY_SOURCE=y
 | |
| # CONFIG_CRYPTO_ECHAINIV is not set
 | |
| CONFIG_CRYPTO_SHA256=y
 | |
| CONFIG_CRYPTO_ANSI_CPRNG=y
 | |
| CONFIG_CRYPTO_JITTERENTROPY=y
 | |
| # CONFIG_CRYPTO_HW is not set
 | |
| # CONFIG_VIRTUALIZATION is not set
 |