EDBLOG: A Kernel for Configuration Environments