chcore_config(CHCORE_KERNEL_DEBUG BOOL OFF "Build debug version of the kernel?")
chcore_config(CHCORE_KERNEL_TEST BOOL ON "Enable kernel tests?")
chcore_config(CHCORE_LAB3_TEST BOOL OFF "Enable Lab 3 Tests?")