config PADS_PACKAGE_LINUX_DIST
	bool "PIKA linux Dist"
	default y
	help
		Distribution of PIKA Linux