| /branches/dd/boot/arch/arm32/loader/boot.S |
|---|
| 39,6 → 39,11 |
| b bootstrap |
| jump_to_kernel: |
| # |
| # TODO |
| # Make sure that the I-cache, D-cache and memory are mutually coherent |
| # before passing control to the copied code. |
| # |
| bx r0 |
| 48,5 → 53,3 |
| # make place for PTL0 page table |
| page_table: |
| .skip PTL0_ENTRIES * PTL0_ENTRY_SIZE |