// vmm.c // Author: Josh Holtrop // Date: 09/30/03 // Rewritten from scratch: 12/23/03 void vmm_init() { dword *pagetables = (dword *)0xC0104000; //this is the location of the page directory pagetables[0x3FF] = 0x104000|0x03; //the last page directory entry points to the page directory itself if (videoMode) //we are in a graphical mode { } } void *malloc(dword bytes) { } int free(void *ptr) { }