OSDev.org

Code: Select all

unsigned long *page_directory = (unsigned long *)0xFFF00000; /*0x100000;*/
unsigned long *page_table;

void init_paging()
{
     page_table = page_directory + 0x1000;
     
     volatile unsigned long address = 0;    //1
     unsigned int i;                               //2
     
     for(i=0; i<1023; i++)                      //3
     {
          page_table[i] = address | 3;      //4
          address+= 4096;               
     }

     page_directory[0] = page_table;      //5
     page_directory[0] = page_directory[0] | 3;

     for(i=1; i<1023; i++)
     {
          page_directory[i] = 0 | 2; 
     }

     write_cr3(page_directory);
     enable_paging();
     printf("Paging enabled\n\r");
}