Merge branch 'arrakis'
[barrelfish] / kernel / include / target / x86_64 / paging_kernel_target.h
2015-08-14 Simon GerberMerge branch 'arrakis'
2015-06-11 Reto Achermannadding support for modify flags on large/huge pages
2015-06-05 Simon GerberMerge of upstream arrakis code.
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.