change configurations for microkernel
deleted testing file