KarimAllah/xen — pull request #4 by talex5 (2014-05-13 13:41:18+00:00)
Title: Re-enable x86_64 support in ARM branch

This makes using Mini-OS on x86_64 work again. It also fixes a problem with "make clean" and removes some debug code.