adding microkernel configuration