a78f618
--- xen-4.8.0/extras/mini-os/Makefile.orig	2016-09-28 12:09:38.000000000 +0100
a78f618
+++ xen-4.8.0/extras/mini-os/Makefile	2017-02-15 21:15:19.340197960 +0000
a78f618
@@ -142,6 +142,9 @@
a78f618
 APP_LDLIBS += -lz
a78f618
 APP_LDLIBS += -lm
a78f618
 LDLIBS += -lc
a78f618
+ifeq ($(MINIOS_TARGET_ARCH),x86_32)
a78f618
+LDLIBS += -L$(shell dirname `gcc -m32 -print-libgcc-file-name`) -lgcc
a78f618
+endif
a78f618
 endif
a78f618
 
a78f618
 ifneq ($(APP_OBJS)-$(lwip),-y)