C++ settings file for linux kernel development