bios: Print location jumping too.

Makes it easier to  understand what is happening (and that the BIOS is
jumping to the right place).

diff --git a/litex/soc/software/bios/boot.c b/litex/soc/software/bios/boot.c
index e0ff8ba95b0445325daae01b7e331d07e4fb41d7..ed7d3cbaf1da1d8c40f2a6e950f975ba4579643c 100644 (file)
--- a/litex/soc/software/bios/boot.c
+++ b/litex/soc/software/bios/boot.c
@@ -18,7 +18,7 @@ extern void boot_helper(unsigned int r1, unsigned int r2, unsigned int r3, unsig
 
 static void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, unsigned int r3, unsigned int addr)
 {
-       printf("Executing booted program.\n");
+       printf("Executing booted program at 0x%08x\n", addr);
        uart_sync();
        irq_setmask(0);
        irq_setie(0);