From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wm1-f73.google.com (mail-wm1-f73.google.com [209.85.128.73]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 135FB218ACB for ; Thu, 9 Jan 2025 13:28:20 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.128.73 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1736429302; cv=none; b=cz+p5dBL4yBZUH+WX27B3OLXwydVQdQytLJwe1S84xAPoJDkn1lqxThFjnhYA31p4w/sU5ROZYv/lecQwklAYpN+uSgtcmLQmy4AMaR2h3pB48pY838oDgX6NcT+eRElH82ibjPGs1LIP09DESsn0FlLF0ORu5YjHl9SIeK3RB8= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1736429302; c=relaxed/simple; bh=MsUy1NGWXbake+FcYoGPXSrG88cFtjm23PvE7aMcI7U=; h=Date:In-Reply-To:Mime-Version:References:Message-ID:Subject:From: To:Cc:Content-Type; b=t9r/ptRe4cs2j7VfoiNJCe36gazMdhsgHqbV5KgojHnbF5lOFBHlKZzHfvVAdq2Ig4O6iw+E87P6nTjcl9pqPe5VnuoLYyGZDSFUVsJOw5zr6lQuToUiDitTatCyyQ/rcmbaMzg74Uzd531OwnOWN57jMcRRxScy2i/TLp89gR8= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=flex--jackmanb.bounces.google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=ilpirodf; arc=none smtp.client-ip=209.85.128.73 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=flex--jackmanb.bounces.google.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="ilpirodf" Received: by mail-wm1-f73.google.com with SMTP id 5b1f17b1804b1-43651b1ba8aso6210665e9.1 for ; Thu, 09 Jan 2025 05:28:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1736429299; x=1737034099; darn=vger.kernel.org; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:from:to:cc:subject:date:message-id:reply-to; bh=MsUy1NGWXbake+FcYoGPXSrG88cFtjm23PvE7aMcI7U=; b=ilpirodf+Y5T5KRV7chztz3Bh2ftmcOd3ojQ6UEUBBn+YzKNNyH1m4JBa2xIABbqAD bVYiVqQx+6omf+rXmx3BIN96Q4CztVb3ENAUhWCWcFLvTvyd6rLIuDT6C/XYRLMWh5cO 1lfggTjbMTHwLU57M+epaFQRgABGTUZh0wxl1Uywzq1GoRlrSKo4uWnaSXcF4HCmeDVJ JRqkNi63ZzlM/P4Xlz0+EFIz8ZtWMTQq+kPb8oMM+SexlLfNtf09EYlVaXvA3oUvQ830 tJ2m4kordLXhuSjaslG7kv00st/KgfHtHfSrr8gu7xK8mTc0u0MV5SDePKw2FZao+p8x kYoQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736429299; x=1737034099; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=MsUy1NGWXbake+FcYoGPXSrG88cFtjm23PvE7aMcI7U=; b=EOofm2+UcTZzFKwtpdDEZrtMLaU1iHPm6f/TJY9RoX/ksrj44ejRENXLVK1LBCAEBx aPEkjZ/b8YsgBepYtNRu4M4GfGSODS9FmxVcm3Hf3ZahB2t/3IkWqboTRh5QP+JxS8sT G7VbWn+dzPS1xBNdCcGZ5GhlC0UGANfwU80TvDaInyLwVTPVhEbsA9StpJ7jd0Y53AiW x/F6TozeZnbLqOz4/bUKXFwggOkakJhsENeo260np7p+IMPB/Rtpabod3KUTGmHsKfdv Aj3XXay4UsCDS/+qt2XpXkQx7Wi02LPHcaH/FpePyAfRSIF06mCaqTg24Ip33yenfslg yLKw== X-Forwarded-Encrypted: i=1; AJvYcCW9Ht91ANqRczTcxn+Q0tJ98BD0JNVNDc0lcSYPjL5huHbPFBdY9G+sVy2huWmXNW2idWQYIr0VMLlbGLg=@vger.kernel.org X-Gm-Message-State: AOJu0YzCdXNpd2F7NZ4t5Ep6WWtlzrwn5TE5VeAdqU6ql5Kxvyrr9yCu ZpF85yHSSGz/8n3ln2eLr5CvelWDKGwTf7Ocq+Ot5yIoVXkc0h/TfiZK2ibywk0O80Id4GCr95O XWod9tUNNRQ== X-Google-Smtp-Source: AGHT+IGS+ykuF+WifsuNU8fs6f5NzvjfsZaGXQuMDAagkQiJizBEHS+g8siVUuZG0a7A17mkD2CuIIwKfY2n5g== X-Received: from wrd8.prod.google.com ([2002:a05:6000:4a08:b0:386:36e7:f43f]) (user=jackmanb job=prod-delivery.src-stubby-dispatcher) by 2002:a5d:5f85:0:b0:386:3213:5b9b with SMTP id ffacd0b85a97d-38a8732c132mr6915547f8f.43.1736429299532; Thu, 09 Jan 2025 05:28:19 -0800 (PST) Date: Thu, 9 Jan 2025 13:28:17 +0000 In-Reply-To: <20241028034949.95322-1-ole0811sch@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: Mime-Version: 1.0 References: <20241028034949.95322-1-ole0811sch@gmail.com> X-Mailer: git-send-email 2.47.1.613.gc27f4b7a9f-goog Message-ID: <20250109132817.1426138-1-jackmanb@google.com> Subject: Re: [PATCH v6 01/11] kconfig: Add PicoSAT interface From: Brendan Jackman To: ole0811sch@gmail.com Cc: deltaone@debian.org, jan.sollmann@rub.de, jude.gyimah@rub.de, linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org, masahiroy@kernel.org, mcgrof@kernel.org, nathan@kernel.org, nicolas@fjasle.eu, thorsten.berger@rub.de Content-Type: text/plain; charset="UTF-8" Hi all, this looks cool! > This support is provided within xconfig. Sorry I haven't read properly enough to be able to answer this for myself but I suspect I'm not the only one idly wondering... Would it be easy enough to provide this support as a standalone binary that can be called from scripts/config too? Personally, the only reason I ever use xconfig (well, I use menuconfig, but same thing) is to navigate "conflicts". If that problem went away I'd have no more reason to open it except to access the cool SAT thing, so it would be even more convenient to cut out the middleman.