maxv 7123eade7b Save L4's physical address earlier. Also, PDE_SIZE has nothing to do ... here, we are just zeroing out the upper 32bits of the 64bit pointer.		2016-05-22 10:11:55 +00:00
..
acpi	LLVM doesn't support data32/addr32, but is smart enough to figure the	2014-01-15 22:24:41 +00:00
amd64	Save L4's physical address earlier. Also, PDE_SIZE has nothing to do	2016-05-22 10:11:55 +00:00
compile
conf	Turn on MPROTECT on GENERIC and both MPROTECT and ASLR on XEN*	2016-05-14 17:11:30 +00:00
include	Explain where this value comes from.	2016-05-21 07:00:18 +00:00
Makefile