.cargo/config.toml

[build]
target = "riscv32imc-unknown-none-elf"
target-dir = "../../out/matcha"
rustflags = [
    "-C", "relocation-model=static",
    "-C", "link-arg=-Tlayout_matcha.ld",
]

# this doesn't work in our version of cargo yet
#[env]
#PLATFORM = "opentitan"