Kernel Image File, RHEL image builder is a tool for creating custom system images.