    bool 'Keyboard/mouse (PS2) interface  ' CONFIG_KBD_ENABLE
    bool 'Text-based VGA interface  ' CONFIG_VGA_ENABLE
    if [ "$CONFIG_VGA_ENABLE" = "n" ]; then
      bool 'SVGA graphical frame buffer  ' CONFIG_SVGA_ENABLE
    fi

