Steffen Vogel 79c4f2703e setup kernelspace VMA list		2013-11-20 11:27:49 +01:00
..
Makefile	add a VMA list, which holds each virtual memory region of a user-level process	2011-02-24 09:29:38 +01:00
memory.c	setup kernelspace VMA list	2013-11-20 11:27:49 +01:00
vma.c	added VMA list implementation	2013-11-20 11:26:55 +01:00