Kernel Loader: Difference between revisions
Line 232: | Line 232: | ||
// Set TTBR0/TTBR1 with initial page tables. | // Set TTBR0/TTBR1 with initial page tables. | ||
TTBR0_EL1 = ttbr0_page_table.GetL1Table(); | TTBR0_EL1 = ttbr0_page_table.GetL1Table(); | ||
TTBR1_EL1 = ttbr1_page_table | TTBR1_EL1 = ttbr1_page_table->GetL1Table(); | ||
// Configure MAIR, TCR. TODO: Document here what bits these are. | // Configure MAIR, TCR. TODO: Document here what bits these are. |