[WIP] Redis configuration

First work for #8013 (not tested yet)