From 8ce7fcb2378ddcf673ef15cba864dbaa39153b30 Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Mon, 2 Jul 2018 13:47:18 +0200
Subject: [PATCH] bios/main: add cpu frequency to banner

---
 litex/soc/software/bios/main.c | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/litex/soc/software/bios/main.c b/litex/soc/software/bios/main.c
index 8d475c396..4d06d1310 100644
--- a/litex/soc/software/bios/main.c
+++ b/litex/soc/software/bios/main.c
@@ -493,18 +493,20 @@ int main(int i, char **c)
 	printf("\e[1m       / /  (_) /____ | |/_/\e[0m\n");
 	printf("\e[1m      / /__/ / __/ -_)>  <\e[0m\n");
 	printf("\e[1m     /____/_/\\__/\\__/_/|_|\e[0m\n");
-	printf("\e[1m      SoC BIOS / CPU: \e[0m");
+	printf("\e[1m SoC BIOS / CPU: ");
 #ifdef __lm32__
-	printf("\e[1mLM32\e[0m\n");
+	printf("LM32");
 #elif __or1k__
-	printf("\e[1mMOR1K\e[0m\n");
+	printf("MOR1K");
 #elif __picorv32__
-	printf("\e[1mPicoRV32\e[0m\n");
+	printf("PicoRV32");
 #elif __vexriscv__
-	printf("\e[1mVexRiscv\e[0m\n");
+	printf("VexRiscv");
 #else
-	printf("\e[1mUnknown\e[0m\n");
+	printf("Unknown");
 #endif
+	printf(" / %3dMHz\e[0m\n", SYSTEM_CLOCK_FREQUENCY/1000000);
+
 	puts(
 	"(c) Copyright 2012-2018 Enjoy-Digital\n"
 	"(c) Copyright 2007-2018 M-Labs Limited\n"