Stefan Lankes 609500a6d8 add additional output messages		2012-06-10 12:10:54 +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	remove "unsecure" usage of get_page in page_init	2012-06-10 11:53:33 +02:00
page64.c	add additional output messages	2012-06-10 12:10:54 +02:00
svm.c	add build environment for 64bit code	2012-05-24 10:49:45 +02:00