Merge large page support code.
[barrelfish] / kernel / arch / x86_32 / page_mappings_arch.c
2015-05-04 Simon GerberMerge large page support code.
2015-04-30 Simon Gerberx86_32: compiles with PAE enabled.
2015-04-30 Simon Gerberx86_32: kernel: cleaned up large page mapping code.
2015-04-30 Simon Gerberx86_32: kernel: added support for large pages to paging...
2015-04-30 Andreas DillierLargepage repository
2015-04-30 Andreas DillierAdded large page capabilities to the x86 architecture.
2015-03-09 Simon Gerberkernel: Fix and deduplicate cte_for_cap().
2014-10-14 Simon GerberAdded modify_flags test. Fixed missing local_phys_to_me...
2014-08-20 Stefan KaestleSecond set of patches for Bulk Transfer DSL project
2014-01-27 Simon GerberFlush affected TLB entries on modify_flags.
2014-01-22 Simon GerberAdded modify_flags test. Fixed missing local_phys_to_me...
2013-03-14 Simon Gerberx86: fixed paging_dump_tables potentially falsely sign...
2013-01-30 Simon Gerberx86_32: Implemented new modify_flags invocation and...
2013-01-29 Simon GerberCleanup function names and converted printfs to debug...
2013-01-29 Simon Gerberx86_32: Useful debug printf in kernel map handler.
2013-01-29 Simon Gerberx86: Changed TLB flushing to simple hybrid scheme.
2013-01-29 Simon Gerberx86: Fixed kernel to use invlpg for TLB flushing.
2013-01-29 Simon Gerberx86: Added mapped capability in unmap syscall arguments.
2013-01-29 Simon GerberRemoved dead code.
2013-01-29 Simon Gerberx86_32: Decreased verbosity of page mapping code.
2013-01-29 Simon GerberFixed double add in x86_32_ptable handler and minor...
2013-01-29 Simon Gerberx86_32: Implemented missing parts of new kernel memory...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.