Index: tools/config.py
===================================================================
--- tools/config.py	(revision b2951e26899149f05cd5c6af8e6dabc39f358fa4)
+++ tools/config.py	(revision b3d1e114c84e01253eefaae5a9b82ae841630c80)
@@ -1,5 +1,5 @@
 #!/usr/bin/env python
 """
-Kernel configuration script
+User space configuration script
 """
 import sys
@@ -8,5 +8,5 @@
 import commands
 
-INPUT = 'kernel.config'
+INPUT = 'uspace.config'
 OUTPUT = 'Makefile.config'
 TMPOUTPUT = 'Makefile.config.tmp'
@@ -488,5 +488,5 @@
     os.rename(TMPOUTPUT, OUTPUT)
     
-    if not defmode and dlg.yesno('Rebuild kernel?') == 'y':
+    if not defmode and dlg.yesno('Rebuild user space?') == 'y':
         os.execlp('make','make','clean','build')