bios: Print location jumping too.

Makes it easier to  understand what is happening (and that the BIOS is
jumping to the right place).
This commit is contained in:
Tim 'mithro' Ansell 2017-09-26 14:54:16 +10:00
parent 8152673d18
commit 279ec488e3
1 changed files with 1 additions and 1 deletions

View File

@ -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);