Martin L Roth has submitted this change. ( https://review.coreboot.org/c/coreboot/+/78972?usp=email )
Change subject: util/lint: Add linter to keep selects out of Kconfig.name
......................................................................
util/lint: Add linter to keep selects out of Kconfig.name
While having select statements in Kconfig.name files is valid in the
syntax of the Kconfig language, having the selections split between the
normal Kconfig file and Kconfig.name files makes it harder to see what's
going on.
Kconfig.name files will now be limited to their original purpose of
selecting a particular board or board variant, not actually configuring
that board.
Signed-off-by: Martin Roth <gaumless(a)gmail.com>
Change-Id: I2aab78e296f2958e77a938b1afa40a25a6aa82b0
Reviewed-on: https://review.coreboot.org/c/coreboot/+/78972
Tested-by: build bot (Jenkins) <no-reply(a)coreboot.org>
Reviewed-by: Maximilian Brune <maximilian.brune(a)9elements.com>
Reviewed-by: Julius Werner <jwerner(a)chromium.org>
---
A util/lint/lint-stable-029-kconfig-name-selects
1 file changed, 16 insertions(+), 0 deletions(-)
Approvals:
build bot (Jenkins): Verified
Julius Werner: Looks good to me, approved
Maximilian Brune: Looks good to me, approved
diff --git a/util/lint/lint-stable-029-kconfig-name-selects b/util/lint/lint-stable-029-kconfig-name-selects
new file mode 100755
index 0000000..78d6070
--- /dev/null
+++ b/util/lint/lint-stable-029-kconfig-name-selects
@@ -0,0 +1,16 @@
+#!/usr/bin/env sh
+# SPDX-License-Identifier: GPL-2.0-or-later
+#
+# DESCR: Check that boards don't use select Kconfig.name
+
+export LC_ALL=C
+FAIL=0
+
+for board in src/mainboard/*/*; do
+ if [ -f ${board}/Kconfig.name ] && grep -q "select " "${board}/Kconfig.name"; then
+ echo "Mainboard ${board} uses 'select' in Kconfig.name"
+ FAIL=1
+ fi
+done
+
+exit ${FAIL}
--
To view, visit https://review.coreboot.org/c/coreboot/+/78972?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I2aab78e296f2958e77a938b1afa40a25a6aa82b0
Gerrit-Change-Number: 78972
Gerrit-PatchSet: 5
Gerrit-Owner: Martin L Roth <gaumless(a)gmail.com>
Gerrit-Reviewer: Julius Werner <jwerner(a)chromium.org>
Gerrit-Reviewer: Martin L Roth <gaumless(a)gmail.com>
Gerrit-Reviewer: Maximilian Brune <maximilian.brune(a)9elements.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply(a)coreboot.org>
Gerrit-CC: Felix Singer <service+coreboot-gerrit(a)felixsinger.de>
Gerrit-CC: Nico Huber <nico.h(a)gmx.de>
Gerrit-MessageType: merged
Maximilian Brune has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/77780?usp=email )
Change subject: sbom/Makefile.inc: Change GOPATH
......................................................................
Patch Set 3:
(2 comments)
Commit Message:
https://review.coreboot.org/c/coreboot/+/77780/comment/84586ef3_b13f4135 :
PS3, Line 7: sbom/Makefile.inc
> Should me make this change wider than just the SBOM? Maybe put it into toolchain. […]
sounds good. Give some time and I will do a patch But for now I would leave it the way it is in this patch (I am not sure if I find time in the near future)
https://review.coreboot.org/c/coreboot/+/77780/comment/6c65b940_401c67e9 :
PS3, Line 11: since offline build are still not
: possible, because go will fetch the packages at build time
> Can we do something like we do with the util/crossgcc/tarballs folder where files can be placed to be installed by the coreboot builds even when the system isn't connected to the internet?
I would use the `go mod vendor` command. It is a command to download all dependencies for a go program and place them in folder called "vendor" (probably customizable). We can use that at the same time we download the toolchain. I think the command was even meant for offline builds.
I will mark it as resolved so that the patch gets merged until we have a better solution in place.
--
To view, visit https://review.coreboot.org/c/coreboot/+/77780?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I2a35369628454057ea4758cd1225e57f07cb71c8
Gerrit-Change-Number: 77780
Gerrit-PatchSet: 3
Gerrit-Owner: Maximilian Brune <maximilian.brune(a)9elements.com>
Gerrit-Reviewer: Felix Singer <service+coreboot-gerrit(a)felixsinger.de>
Gerrit-Reviewer: Martin L Roth <gaumless(a)gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply(a)coreboot.org>
Gerrit-CC: Stefan Reinauer <stefan.reinauer(a)coreboot.org>
Gerrit-Comment-Date: Sat, 18 Nov 2023 01:51:10 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Martin L Roth <gaumless(a)gmail.com>
Gerrit-MessageType: comment
Attention is currently required from: Yi Chou, Yu-Ping Wu.
Julius Werner has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/79078?usp=email )
Change subject: libpayload: Move ttb_buffer to a standalone section
......................................................................
Patch Set 5:
(2 comments)
Patchset:
PS5:
Maybe this would be a good opportunity to fix the _stack/_estack inconsistency as well?
File payloads/libpayload/arch/arm64/mmu.c:
https://review.coreboot.org/c/coreboot/+/79078/comment/90d87306_87bc6966 :
PS5, Line 44: ".ttb_buffer"
You need to actually add this section to all the `payloads/libpayload/arch/*/libpayload.ldscript` scripts though. Depthcharge chooses to maintain its own linker script, but most other payloads use the default one from this repo.
--
To view, visit https://review.coreboot.org/c/coreboot/+/79078?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I610276cbe30552263d791860c15e5ad9a201c744
Gerrit-Change-Number: 79078
Gerrit-PatchSet: 5
Gerrit-Owner: Yi Chou <yich(a)google.com>
Gerrit-Reviewer: Julius Werner <jwerner(a)chromium.org>
Gerrit-Reviewer: Yu-Ping Wu <yupingso(a)google.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply(a)coreboot.org>
Gerrit-Attention: Yi Chou <yich(a)google.com>
Gerrit-Attention: Yu-Ping Wu <yupingso(a)google.com>
Gerrit-Comment-Date: Sat, 18 Nov 2023 01:13:03 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Gerrit-MessageType: comment
Attention is currently required from: Martin L Roth, Nico Huber.
Maximilian Brune has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/78972?usp=email )
Change subject: util/lint: Add linter to keep selects out of Kconfig.name
......................................................................
Patch Set 4: Code-Review+2
--
To view, visit https://review.coreboot.org/c/coreboot/+/78972?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I2aab78e296f2958e77a938b1afa40a25a6aa82b0
Gerrit-Change-Number: 78972
Gerrit-PatchSet: 4
Gerrit-Owner: Martin L Roth <gaumless(a)gmail.com>
Gerrit-Reviewer: Julius Werner <jwerner(a)chromium.org>
Gerrit-Reviewer: Maximilian Brune <maximilian.brune(a)9elements.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply(a)coreboot.org>
Gerrit-CC: Felix Singer <service+coreboot-gerrit(a)felixsinger.de>
Gerrit-CC: Nico Huber <nico.h(a)gmx.de>
Gerrit-Attention: Nico Huber <nico.h(a)gmx.de>
Gerrit-Attention: Martin L Roth <gaumless(a)gmail.com>
Gerrit-Comment-Date: Sat, 18 Nov 2023 01:12:00 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment
Attention is currently required from: Felix Singer.
Martin L Roth has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/79028?usp=email )
Change subject: mb/google/herobrine: Move selects from Kconfig.name to Kconfig
......................................................................
Patch Set 1:
This change is ready for review.
--
To view, visit https://review.coreboot.org/c/coreboot/+/79028?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I25b7adccf60abe515d129f8d00383165eccf6431
Gerrit-Change-Number: 79028
Gerrit-PatchSet: 1
Gerrit-Owner: Felix Singer <service+coreboot-gerrit(a)felixsinger.de>
Gerrit-Reviewer: Martin L Roth <gaumless(a)gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply(a)coreboot.org>
Gerrit-Attention: Felix Singer <service+coreboot-gerrit(a)felixsinger.de>
Gerrit-Comment-Date: Fri, 17 Nov 2023 22:18:14 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment