1 files changed, 12 insertions, 0 deletions
diff --git a/board_enable.c b/board_enable.c
index da5043f..5b4b39a 100644
--- a/board_enable.c
+++ b/board_enable.c
@@ -500,6 +500,18 @@ struct board_pciid_enable board_pciid_enables[] = {
 	{0, 0, 0, 0, 0, 0, 0, 0, NULL, NULL}	/* Keep this */
 };
 
+void print_supported_boards(void)
+{
+	int i;
+
+	printf("\nSupported mainboards (this list is not exhaustive!):\n\n");
+
+	for (i = 0; board_pciid_enables[i].name != NULL; i++)
+		printf("%s\n", board_pciid_enables[i].name);
+
+	printf("\nSee also: http://coreboot.org/Flashrom\n");
+}
+
 /**
  * Match boards on coreboot table gathered vendor and part name.
  * Require main PCI IDs to match too as extra safety.