If you'd make it part of Kconfig, you could generate the list from that.

Or board_info.txt, together with the various other bits of information. Once the current craziness ends, I plan to revise the board-status stuff and that will involve a new parser for board_info: I wouldn't want to get the data for any board from more sources than strictly necessary.

View Change

To view, visit change 32237. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I526b453ca30d8bcb6a55b40f4e53c6852f7cf4c7
Gerrit-Change-Number: 32237
Gerrit-PatchSet: 3
Gerrit-Owner: Damien Zammit <damien@zamaudio.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-CC: Angel Pons <th3fanbus@gmail.com>
Gerrit-CC: Nico Huber <nico.h@gmx.de>
Gerrit-CC: Patrick Georgi <pgeorgi@google.com>
Gerrit-CC: Patrick Rudolph <siro@das-labor.org>
Gerrit-Comment-Date: Mon, 08 Apr 2019 10:17:02 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment