# Same toolchain as the Rustbelt kernel repo (nightly + the prebuilt
# x86_64-unknown-none target), so the programs are built by the same compiler.
[toolchain]
channel = "nightly"
targets = ["x86_64-unknown-none"]