A graphical interface for configuring kernel crash dumping