code: def show_kernel_error(self, error):
          
          # Remove unneeded blank lines at the beginning
          eol = sourcecode.get_eol_chars(error)
          if eol:
              error = error.replace(eol, '<br>')
          # Don't break lines in hyphens
          # From http://stackoverflow.com/q/7691569/438386
          error = error.replace('-', '&#8209')
  
          message = _("An error occurred while starting the kernel")
          kernel_error_template = Template(KERNEL_ERROR)
          page = kernel_error_template.substitute(css_path=CSS_PATH,
                                                  message=message,
                                                  error=error)
          self.setHtml(page)
docs: Show kernel initialization errors.