Merge large page support code.
[barrelfish] / kernel / arch / x86_64 / page_mappings_arch.c
2015-05-04 Simon GerberMerge large page support code.
2015-05-04 Simon Gerberx86_64: kernel: cleanup of page table dumping.
2015-05-04 Simon Gerberx86_64: kernel: cleanup trailing spaces.
2015-04-30 Simon Gerberkernel: x86_64: updated paging_dump_tables to understan...
2015-04-30 Simon Gerberx86_64: fixed unmap last leaf, added code to allow...
2015-04-30 Andreas DillierLargepage repository
2015-04-30 Andreas DillierAdded large page capabilities to the x86 architecture.
2015-03-09 Simon GerberT73: do full TLB flush when modifying flags.
2015-03-09 Simon Gerberkernel: Fix and deduplicate cte_for_cap().
2015-01-13 Reto AchermannMerge branch 'master' of ssh://code.systems.ethz.ch...
2015-01-12 Simon Gerberx86_64: dynamically compute where kernel VA starts...
2014-11-26 Reto AchermannCleanup of Xeon Phi Kernel:
2014-10-29 Simon GerberMoved BIOS mmap cleanup to shared x86 code. Call from...
2014-10-23 Simon GerberVarious small fixes (some based on clang errors).
2014-10-14 Simon Gerberpaging: partially fixed unmap in floating page tables.
2014-10-14 Simon GerberAdded modify_flags test. Fixed missing local_phys_to_me...
2014-08-20 Stefan KaestleMerge with master
2014-08-20 Stefan KaestleSecond set of patches for Bulk Transfer DSL project
2014-05-06 Simon Gerberpaging: partially fixed unmap in floating page tables.
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_64: removed duplicate return statement in page_mapp...
2013-01-29 Simon Gerberx86_64: Implemented modifying flags for parts of mapped...
2013-01-29 Simon GerberCleanup function names and converted printfs to debug...
2013-01-29 Simon Gerberx86_64: Added missing include in kernel page_mappings_a...
2013-01-29 Simon Gerberx86_64: Fixed comment.
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 GerberFixed read_pt_entry in page_mappings_arch.
2013-01-29 Simon GerberMoved debug printfs.
2013-01-29 Simon Gerberx86_32: Implemented missing parts of new kernel memory...
2013-01-29 Simon Gerberx86_64: Cleanup kernel page mapping code.
2013-01-29 Simon GerberRemoved old code in kernel/page_mappings_arch.c
2013-01-29 Simon GerberFixed missing vregion_destroy in pci main().
2013-01-29 Simon GerberNew KPI for unmap.
2013-01-29 Simon GerberNew KPI bits for map on kernel side.
2013-01-29 Simon GerberImplemented new map KPI (libbarrelfish end).
2013-01-29 Simon GerberImplemented new VNode_Map syscall.
2013-01-29 Simon GerberMore debug output in page_mappings_arch (disabled).
2013-01-29 Simon GerberAdded code to dump hardware page tables from user space.
2013-01-29 Simon GerberAdded unmap on cap_delete for pmem capabilities.
2013-01-29 Simon GerberImplemented unmap with checks. Fixed unmap_region to...
2013-01-29 Simon Gerberx86_64: Added debug output in page table manipulation...
2013-01-29 Simon GerberImplemented mapping tracking when unmapping. Breaks...
2013-01-29 Simon GerberAdded metadata for mappings spanning 2 leaf ptables.
2013-01-29 Simon GerberBarrelfish (standard config) boots with 1 mapping per...
2013-01-29 Simon GerberRemoved unnecessary call to compile_vaddr().
2013-01-29 Simon GerberAdded vm_modify_mapping syscall on pmem capabilities...
2013-01-29 Simon GerberFixed compile_vaddr(). Cleaned up new code.
2013-01-29 Simon GerberAdded hacky mapping tracking in x86_64 page_mappings_arch.c
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.