2024-05-20 09:18:17 +00:00
|
|
|
[toolchain]
|
2024-09-24 07:57:32 +00:00
|
|
|
channel = "stable"
|
2024-06-28 16:18:43 +00:00
|
|
|
components = [ "clippy", "rustfmt" ]
|
2024-05-20 09:18:17 +00:00
|
|
|
targets = [ "thumbv7em-none-eabi", "thumbv7em-none-eabihf" ]
|
|
|
|
|
profile = "minimal"
|
