Steffen Vogel a972efe288 Merge branch 'vma_kernel' into vogel ... Conflicts: kernel/tasks.c		2013-11-20 14:00:04 +01:00
..
x86	Merge branch 'vma_kernel' into vogel	2013-11-20 14:00:04 +01:00