Steffen Vogel ec171dfcce implemented map_region() (more testing needed; will propably replaced by a iterative solution)		2013-11-14 13:12:35 +01:00
..
Makefile	add init code, which jumps to 64bit mode and and calls main	2012-05-29 20:47:45 +02:00
page32.c	more cleanup of old 32bit code relicts, typos and indention	2013-11-14 12:22:52 +01:00
page64.c	implemented map_region() (more testing needed; will propably replaced by a iterative solution)	2013-11-14 13:12:35 +01:00
svm.c	define the function shmalloc to allocate a shared page	2012-07-15 05:57:39 -07:00