Add linker options for Xen/Mini-OS#231

Merged

yallop merged 2 commits into

yallop:masterfrom

Dec 18, 2014

Commits on Dec 16, 2014

Add linker options for Xen/Mini-OS
talex5
committed

Commits on Dec 18, 2014

Travis check that Xen support builds too
talex5
committed