[toolchain] channel = "stable" targets = ["x86_64-unknown-uefi"]