Add micro kernel config file