Configuration files for the Fungal kernel.