CONFIG_MICROKERNEL=y
CONFIG_KERNEL_BIN_NAME="microkernel"