Extra Credit

[Drew Chen]

the extra credit
wants page tables to
be pageable

does that include
the kernel page
table?
or just user page
tables?

-drew

[Iulian Neamtiu]

The kernel page tables and page directories are *not* pageable. That'd be
painstaking to implement and provides little to no benefits beacuse of
the tiny amount of physical memory bochs sees.

Actually even in 'real OSes' out there (FreeBSD, Linux) the kernel is
pinned in physical memory and doesn't get swapped.

The extra credit refers to user page tables only (not user page
directories).

Iulian

Post by Drew Chen
the extra credit
wants page tables to
be pageable
does that include
the kernel page
table?
or just user page
tables?
-drew