Tools to support Linux system management