Index: Makefile
===================================================================
--- Makefile	(revision ce8725be1e22b7ff35142a2d2b8ba3272390cb43)
+++ Makefile	(revision fec35544f72ae20ecc285146461af27bb0fa771a)
@@ -44,4 +44,10 @@
 -include arch/$(ARCH)/Makefile.inc
 
+ifeq ($(ARCH),xen32)
+	UARCH = ia32
+else
+	UARCH = $(ARCH)
+endif
+
 ifeq ($(CONFIG_DEBUG),y)
 	DEFS += -DCONFIG_DEBUG
@@ -68,5 +74,5 @@
 
 uspace:
-	$(MAKE) -C $(USPACEDIR) NARCH=$(ARCH)
+	$(MAKE) -C $(USPACEDIR) NARCH=$(UARCH)
 
 clean_kernel:
@@ -74,5 +80,5 @@
 
 clean_uspace:
-	$(MAKE) -C $(USPACEDIR) clean ARCH=$(ARCH)
+	$(MAKE) -C $(USPACEDIR) clean ARCH=$(UARCH)
 
 clean_boot_gen:
@@ -83,3 +89,3 @@
 
 distclean_uspace:
-	$(MAKE) -C $(USPACEDIR) distclean ARCH=$(ARCH)
+	$(MAKE) -C $(USPACEDIR) distclean ARCH=$(UARCH)