x86_64: fail or attempt to map page-tables read/write

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kernel: implement access_ok() to check user pointer validity

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel,x86_64: mask write flag on page table when it is mapped as data page

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: x86_64: print raw values of large and huge page ptes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: x86_64: fix offset calculation in page_mappings_modify_flags

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel,x86_64: allow dump of page tables around provided virtual address

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel,x86_64: Add assertion about mapping cap type

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: paging_copy_remap: add offset to dest addr for memcpy

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: update copy_remap invocation implementation to use mapping caps

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: fix remaining merge errors in vspace management code

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T167: improvements to copy-on-write benchmark.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T166: implement cloning of pte pages using spacejmp vnode_inherit

Closes T166

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

paging: don't use devicetlbs for the iommu context tables

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

caps: implementing support to identify and map endpoint caps

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

caps: properly setting the VT-d domain id

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

caps: adding capability definitions for the Intel VT-d IOMMU root and context tables

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

T82: checkpoint. Guest domain up. Need to implement hypervisor service.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T81: implement simple test that maps a 1G page without kernel interaction.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Reintroduce computed selective flush in modify flags

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T77: Implement selective TLB flushing hint for modify_flags.

Implement hint for selective TLB flushing and use it in Appel benchmark.
Additionally add a pmap tuning global to make benchmarking easier.

Expose pmap selective flushing global only when libbarrelfish is compiled with
PMAP_SELECTIVE_FLUSH_DEBUG.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Remove print.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

kernel: print rw, dirty and accessed bits when dumping page tables.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Trying to map PML4.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

kernel,x86_64: make sure page-mapped page tables are never writeable from user space.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

kernel: x86_64: remove LOG_INFO level output when trying to map over existing entry

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: x86_64: remove LOG_INFO level output when trying to map over existing entry

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: capabilities: mapping types: remove offset field and switch to ptable+entry

To eliminate the need for looking up page table capabilities by address when
cleaning up mappings etc, we switch the mapping capability types to hold a
pointer to the page table capability and the entry in the capability instead
of just a pointer to the first page table entry which corresponds to the
mapping.

To make room for the additional two bytes, we remove the offset into the
mapped capability which was present in the mappings but never used.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel,x86_64: fix refactored modify_flags()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T166: fix vnode_modify_flags

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T166: x86_64: implement vnode_modify_flags

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T306: Rename mapping.frame to mapping.cap

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T291: Implement offset in mapping capabilities.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T258, T264, T270: Implement two-level cspace layout using L1/L2 CNode objects.

distops functionality is NYI.

This commit also makes the root cnodes explicit for sys_map(), closes T270.

Notable changes:
* LRPC LMP endpoints are regular capabilities in L2 cnode, no longer in root
cnode.
* Capability operations take a capability address for the root cnode relative
to which capability addresses are to be resolved. The root cnode capability
address must be resolvable in the current domains cspace.

Closes T264.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: x86_64: fix paging_dump_tables()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes

This only changes the actual struct capability reprensentation for these
types. Most of the code dealing with these types now uses log2ceil(bits) to
set the new `bytes` field.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T207: Implement local_phys_is_valid() and call this in paging_dump_tables()

Closes T207.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: x86: add assertion about mapping cap being NULL to caps_copy_to_vnode

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: Update x86_32 to mapping capability interface.

Also move page_mappings_unmap() to paging_generic.c

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: change vnode_unmap() to only take ptable and mapping caps

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: Implement modify_flags() on mapping cap

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: change vnode_unmap() to take ptable and mapping cap as arguments

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: x86_64: reduce verbosity of mapping code + add better error handling.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: caps_copy_to_vnode: fix debug output

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: Remove mapping_info and rewrite code that depended on it.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: x86_64: implement creation of mapping cap

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: kernel unmarshalling of mapping cap slot

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

x86: implement modify flags for x86_32 and improve modify flags for x86_64.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: x86_64: fixed error handling in modify_flags.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T77: Implement selective TLB flushing hint for modify_flags.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T73: fix modify_flags for parts of region + test.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

adding support for modify flags on large/huge pages

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

x86_64: kernel: cleanup of page table dumping.

paging_dump_tables now finds the first pml4 entry of the "identity"-mapped RAM
and stops displaying page tables for all of it based on the offset configured
in /kernel/include/arch/x86_64/offset_targets.h.

We now also properly cast the base addresses of large/huge pages to genpaddr_t
before bitshifting to avoid sign extending. This is necessary because
bitfield fields are implicitly plain ints.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: kernel: cleanup trailing spaces.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

kernel: x86_64: updated paging_dump_tables to understand large/huge pages.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: fixed unmap last leaf, added code to allow users to easily map large/huge pages.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Largepage repository

Fixing the issue with the repository not having a history

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Added large page capabilities to the x86 architecture.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T73: do full TLB flush when modifying flags.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: Fix and deduplicate cte_for_cap().

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

x86_64: dynamically compute where kernel VA starts when dumping ptables.

Cleanup of Xeon Phi Kernel:

Merged duplicated code from k1om architecture with the X86_64 architecture.
No-longer files in arch/k1om have been deleted.

Moved BIOS mmap cleanup to shared x86 code. Call from both x86_64 and x86_32 startup code.

Various small fixes (some based on clang errors).

paging: partially fixed unmap in floating page tables.

Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.

Second set of patches for Bulk Transfer DSL project

See commit 854eafa

paging: partially fixed unmap in floating page tables.

Flush affected TLB entries on modify_flags.

Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.

x86: fixed paging_dump_tables potentially falsely sign extending paddrs.

x86_64: removed duplicate return statement in page_mappings_modify_flags.

x86_64: Implemented modifying flags for parts of mapped regions.

Cleanup function names and converted printfs to debug() in kernel component of new memory interface.

x86_64: Added missing include in kernel page_mappings_arch.c

x86_64: Fixed comment.

x86: Changed TLB flushing to simple hybrid scheme.

x86: Fixed kernel to use invlpg for TLB flushing.

x86: Added mapped capability in unmap syscall arguments.

Fixed read_pt_entry in page_mappings_arch.

Moved debug printfs.

x86_32: Implemented missing parts of new kernel memory system.

x86_64: Cleanup kernel page mapping code.

Removed old code in kernel/page_mappings_arch.c

Fixed missing vregion_destroy in pci main().

New KPI for unmap.

New KPI bits for map on kernel side.

Implemented new map KPI (libbarrelfish end).

Implemented new VNode_Map syscall.

More debug output in page_mappings_arch (disabled).

Added code to dump hardware page tables from user space.

Added unmap on cap_delete for pmem capabilities.

Implemented unmap with checks. Fixed unmap_region to unmap each frame individually.

x86_64: Added debug output in page table manipulation code.

Implemented mapping tracking when unmapping. Breaks for mappings that span more than 2 leaf ptables.

Added metadata for mappings spanning 2 leaf ptables.

Barrelfish (standard config) boots with 1 mapping per cap copy.

Removed unnecessary call to compile_vaddr().

Added vm_modify_mapping syscall on pmem capabilities. Also lots of debugging printfs.

Fixed compile_vaddr(). Cleaned up new code.

Added hacky mapping tracking in x86_64 page_mappings_arch.c

Initial version of public stable barrelfish repository.