replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@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: paging_generic: remove declaration of non-existent function

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

kernel: paging_generic: fix create_mapping_cap() argument type to properly require lpaddr of pte

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

T291: Implement offset in mapping capabilities.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@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>

T73: fix modify_flags for parts of region + test.

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

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

Flush affected TLB entries on modify_flags.

Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.

x86_32: Implemented missing parts of new kernel memory system.

New KPI bits for map on kernel side.

Added unmap on cap_delete for pmem capabilities.

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

Added metadata for mappings spanning 2 leaf ptables.

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

Fixed compile_vaddr(). Cleaned up new code.

Added struct mapping_info to struct cte. Implemented compile_vaddr.