repka-os_kernel/kernel/configs/rust.config