Merge large page support code.
[barrelfish] / kernel / include / target / x86_64 / paging_kernel_target.h
2015-05-04 Simon GerberMerge large page support code.
2015-04-30 Andreas DillierAdded large page capabilities to the x86 architecture.
2014-11-26 Reto AchermannCleanup of Xeon Phi Kernel:
2014-08-20 Reto AchermannExtended the size of the Base address in the page table...
2013-01-29 Simon Gerberx86_64: Implemented modifying flags for parts of mapped...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.