An in-depth session covering the tools, tips and tricks of performance measurement and tuning of the RHEL kernel