update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.ux-1

diff --git a/kernel/fiasco/src/templates/globalconfig.out.ux-1 b/kernel/fiasco/src/templates/globalconfig.out.ux-1
index 70c8c92087d07b21ad765a88ef0226be1fef5cec..e4bedb4a6ec0a0566d6c9ec8cd0071e0d81c8efa 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.ux-1
+++ b/kernel/fiasco/src/templates/globalconfig.out.ux-1
@@ -33,6 +33,7 @@ CONFIG_CONTEXT_4K=y
 # CONFIG_UX_CON is not set
 # CONFIG_UX_NET is not set
 CONFIG_SCHED_FIXED_PRIO=y
+CONFIG_VIRT_OBJ_SPACE=y
 
 #
 # Debugging