Index: tools/config.py
===================================================================
--- tools/config.py	(revision c34f98fd6ceff94b5f5b6d2c856f5c41c458178c)
+++ tools/config.py	(revision 9d371cbb55bb8cf0cfc651a54b90c0477b8576bd)
@@ -1,5 +1,5 @@
 #!/usr/bin/env python
 """
-boot configuration script
+Kernel configuration script
 """
 import sys
@@ -8,5 +8,5 @@
 import commands
 
-INPUT = 'boot.config'
+INPUT = 'kernel.config'
 OUTPUT = 'Makefile.config'
 TMPOUTPUT = 'Makefile.config.tmp'
@@ -109,4 +109,12 @@
 
 
+def eof_checker(fnc):
+    def wrapper(self, *args, **kw):
+        try:
+            return fnc(self, *args, **kw)
+        except EOFError:
+            return getattr(self.bckdialog,fnc.func_name)(*args, **kw)
+    return wrapper
+
 class Dialog(NoDialog):
     def __init__(self):
@@ -114,11 +122,14 @@
         self.dlgcmd = os.environ.get('DIALOG','dialog')
         self.title = ''
-        self.backtitle = 'HelenOS Boot Configuration'
+        self.backtitle = 'HelenOS Kernel Configuration'
         
         if os.system('%s --print-maxsize >/dev/null 2>&1' % self.dlgcmd) != 0:
             raise NotImplementedError
+        
+        self.bckdialog = NoDialog()
 
     def set_title(self,text):
         self.title = text
+        self.bckdialog.set_title(text)
         
     def calldlg(self,*args,**kw):
@@ -177,4 +188,5 @@
             return 'y'
         return 'n'
+    yesno = eof_checker(yesno)
 
     def menu(self, text, choices, button, defopt=None):
@@ -204,4 +216,5 @@
             raise EOFError
         return data
+    menu = eof_checker(menu)
     
     def choice(self, text, choices, defopt=None):
@@ -223,4 +236,5 @@
             raise EOFError
         return data
+    choice = eof_checker(choice)
     
 def read_defaults(fname,defaults):
@@ -474,5 +488,5 @@
     os.rename(TMPOUTPUT, OUTPUT)
     
-    if not defmode and dlg.yesno('Rebuild everything?') == 'y':
+    if not defmode and dlg.yesno('Rebuild kernel?') == 'y':
         os.execlp('make','make','clean','build')