Steffen Vogel 00127d06cf some cleanup		2014-04-15 16:28:02 +02:00
..
Makefile	add init code, which jumps to 64bit mode and and calls main	2012-05-29 20:47:45 +02:00
page32.c	standardized comment format and code cleanup	2013-11-20 12:03:24 +01:00
page64.c	some cleanup	2014-04-15 16:28:02 +02:00
svm.c	renamed mmu.h to memory.h as its not related to the MMU and contains	2014-01-09 16:20:18 +01:00