Generation of DeOS configuration works