Changes

1 byte added ,  07:34, 31 August 2019
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.GetL1Table();
+
     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.