Moved pte_t definition to arch-specific file
[akaros.git] / OVERVIEW