bios: fix boot for or1k

This commit is contained in:
Sebastien Bourdeauducq 2014-05-14 15:01:02 +02:00
parent 1c08aeb21c
commit edf567a0cd
3 changed files with 2 additions and 13 deletions

View File

@ -1,10 +1,4 @@
.section .text, "ax", @progbits
.global boot_helper
boot_helper:
/* Invalidate instruction cache */
wcsr ICC, r0
nop
nop
nop
nop
call r4

View File

@ -1,10 +1,4 @@
.section .text, "ax", @progbits
.global boot_helper
boot_helper:
/* Invalidate instruction cache */
/* FIXME: wcsr ICC, r0 */
l.nop
l.nop
l.nop
l.nop
l.jr r7
l.jr r6

View File

@ -22,6 +22,7 @@ static void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, uns
uart_sync();
irq_setmask(0);
irq_setie(0);
flush_cpu_icache();
boot_helper(r1, r2, r3, addr);
while(1);
}