1 files changed, 41 insertions, 0 deletions
diff --git a/platform/linux-generic/dumpconfig/dumpconfig.c b/platform/linux-generic/dumpconfig/dumpconfig.c
new file mode 100644
index 000000000..47ad48b70
--- /dev/null
+++ b/platform/linux-generic/dumpconfig/dumpconfig.c
@@ -0,0 +1,41 @@
+/* SPDX-License-Identifier: BSD-3-Clause
+ * Copyright (c) 2018 Linaro Limited
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <odp_libconfig_config.h>
+
+int main(void)
+{
+	unsigned int i;
+	const char *filename;
+	FILE *f;
+	char c;
+
+	printf("# Builtin platform config\n\n");
+	for (i = 0; i < sizeof(config_builtin); i++)
+		printf("%c", config_builtin[i]);
+
+	filename = getenv("ODP_CONFIG_FILE");
+	if (filename == NULL)
+		return 0;
+
+	printf("# Overridden section with ODP_CONFIG_FILE=%s\n\n", filename);
+
+	f = fopen(filename, "r");
+	if (f == NULL)  {
+		fprintf(stderr, "Error: open file %s\n", filename);
+		return -1;
+	}
+
+	while (1) {
+		c = fgetc(f);
+		if (feof(f))
+			break;
+		printf("%c", c);
+	}
+
+	fclose(f);
+	return 0;
+}