2 #include "include/assembly.h"
3 #include "include/options.h"
6 @ Exception defs taken from ARM DDI 0406B
9 interrupt_vector_table:
10 ivt_reset: b _start @ Reset
12 ivt_svc: b SyscallHandler @ SVC (SWI assume)
13 ivt_prefetch: b PrefetchAbort @ Prefetch abort
14 ivt_data: b DataAbort @ Data abort
15 ivt_unused: b . @ Not Used
16 ivt_irq: b IRQHandler @ IRQ
17 ivt_fiq: b . @ FIQ (Fast interrupt)
21 ldr r0, =kernel_table0-KERNEL_BASE
22 mcr p15, 0, r0, c2, c0, 1 @ Set TTBR1 to r0
23 mcr p15, 0, r0, c2, c0, 0 @ Set TTBR0 to r0 too (for identity)
26 mcr p15, 0, r0, c2, c0, 2 @ Set TTCR to 1 (50/50 split)
29 mcr p15, 0, r0, c3, c0, 0 @ Set Domain 0 to Manager
31 mrc p15, 0, r0, c1, c0, 0
34 mcr p15, 0, r0, c1, c0, 0
36 @ Prepare for interrupts
38 ldr sp, =irqstack+0x1000 @ Set up stack
41 @ ldr sp, =stack+0x10000 @ Set up stack
42 ldr sp, =0x80000000-4 @ Set up stack (top of user range)
45 1: b 1b @ Infinite loop
49 .comm irqstack, 0x1000 @ ; 4KiB Stack
60 sub lr, #4 @ Adjust LR to the correct value
61 srsdb sp!, #19 @ Switch to supervisor mode (DDI0406B D1.6.5) (actually SRSFD)
71 @ Call the registered handler
78 rfeia sp! @ Pop state (actually RFEFD)
83 sub lr, #8 @ Adjust LR to the correct value
84 srsdb sp!, #19 @ Switch to supervisor mode (DDI0406B D1.6.5) (actually SRSFD)
88 mrc p15, 0, r4, c5, c0, 0 @ Read DFSR (Data Fault Address Register) to stack
90 mrc p15, 0, r3, c6, c0, 0 @ Read DFAR (Data Fault Address Register) into R3
92 ldr r1, =csDataAbort_Fmt
99 rfeia sp! @ Pop state (actually RFEFD)
104 sub lr, #4 @ Adjust LR to the correct value
105 srsdb sp!, #19 @ Switch to supervisor mode (DDI0406B D1.6.5) (actually SRSFD)
110 ldr r1, =csPrefetchAbort_Fmt
112 mrc p15, 0, r3, c5, c0, 0 @ Read IFSR (Instruction Fault Address Register) into R3
123 .asciz "Data Abort - %p accessed %p, DFSR=%x Unk:%x Unk:%x"
125 .asciz "Prefetch Abort at %p, IFSR=%x"
131 .long 0x00000002 @ Identity map the first 1 MiB
135 .long user_table1_map + 0x000 - KERNEL_BASE + 1 @ 0x7FC00000
136 .long user_table1_map + 0x400 - KERNEL_BASE + 1 @ 0x7FD00000
137 .long user_table1_map + 0x800 - KERNEL_BASE + 1 @ KStacks
138 .long user_table1_map + 0xC00 - KERNEL_BASE + 1
139 @ 0x80000000 - User/Kernel split
140 .long 0x00000002 @ Map first 4 MiB to 2GiB
144 .rept 0xF00 - 0x800 - 4
148 .long PCI_PADDR + 0*(1 << 20) + 2 @ Map PCI config space
149 .long PCI_PADDR + 1*(1 << 20) + 2
150 .long PCI_PADDR + 2*(1 << 20) + 2
151 .long PCI_PADDR + 3*(1 << 20) + 2
152 .long PCI_PADDR + 4*(1 << 20) + 2
153 .long PCI_PADDR + 5*(1 << 20) + 2
154 .long PCI_PADDR + 6*(1 << 20) + 2
155 .long PCI_PADDR + 7*(1 << 20) + 2
156 .long PCI_PADDR + 8*(1 << 20) + 2
157 .long PCI_PADDR + 9*(1 << 20) + 2
158 .long PCI_PADDR + 10*(1 << 20) + 2
159 .long PCI_PADDR + 11*(1 << 20) + 2
160 .long PCI_PADDR + 12*(1 << 20) + 2
161 .long PCI_PADDR + 13*(1 << 20) + 2
162 .long PCI_PADDR + 14*(1 << 20) + 2
163 .long PCI_PADDR + 15*(1 << 20) + 2
169 .long hwmap_table_0 + 0x000 - KERNEL_BASE + 1
170 .long hwmap_table_0 + 0x400 - KERNEL_BASE + 1
171 .long hwmap_table_0 + 0x800 - KERNEL_BASE + 1
172 .long hwmap_table_0 + 0xC00 - KERNEL_BASE + 1
173 .rept 0xFF8 - 0xF00 - 16 - 4
177 .long kernel_table1_map + 0x000 - KERNEL_BASE + 1
178 .long kernel_table1_map + 0x400 - KERNEL_BASE + 1
179 .long kernel_table1_map + 0x800 - KERNEL_BASE + 1
180 .long kernel_table1_map + 0xC00 - KERNEL_BASE + 1
186 .globl user_table1_map
187 @ User table1 data table (only the first half is needed)
188 @ - Abused to provide kernel stacks in upper half
189 user_table1_map: @ Size = 4KiB (only 2KiB used)
193 .long kernel_table0 + 0x0000 - KERNEL_BASE + 0x10 + 3 @ ...1FC000 = 0x7FDDC000
194 .long kernel_table0 + 0x1000 - KERNEL_BASE + 0x10 + 3 @ ...1FD000 = 0x7FDDD000
196 .long user_table1_map - KERNEL_BASE + 0x10 + 3 @ ...1FF000 = 0x7FDFF000
198 .rept (0x800/4)-(MM_KSTACK_SIZE/0x1000)
201 #if MM_KSTACK_SIZE != 0x2000
202 #error Kernel stack size not changed in start.S
204 .long stack + 0x0000 - KERNEL_BASE + 0x10 + 3 @ Kernel Stack
205 .long stack + 0x1000 - KERNEL_BASE + 0x10 + 3 @
207 .globl kernel_table1_map
208 kernel_table1_map: @ Size = 4KiB
212 .long hwmap_table_0 - KERNEL_BASE + (1 << 4) + 3
213 .rept 0xFF8/4 - (0xF00+16)/4 - 1
216 .long kernel_table1_map - KERNEL_BASE + (1 << 4) + 3
222 .long UART0_PADDR + (1 << 4) + 3 @ UART0
229 .space MM_KSTACK_SIZE, 0 @ Original kernel stack