Bare-metal Rust on Zynq-7000

Supported features:

• Clocking setup
• UART
• SDRAM setup
• Ethernet with smoltcp and async-await on TCP sockets
• SD card
• PL programming and startup
• Pure Rust SZL first-stage bootloader, with SD boot and netboot
• Control of second CPU core and message passing, with async-await support

Supported boards:

• ZC706
• Red Pitaya
• Cora Z7-10 (seems to also run on Cora Z7-07S, including dual-core support)

Build

nix-shell --command "cargo xbuild --release -p experiments"

Currently the ELF output is placed at target/armv7-none-eabihf/release/experiments

Debug

Running on the ZC706

nix-shell --command "cargo xbuild --release -p experiments"
cd openocd
openocd -f zc706.cfg

Running on the Cora Z7-10

nix-shell --command "cd experiments && cargo xbuild --release --no-default-features --features=target_coraz7"
cd openocd
openocd -f cora-z7-10.cfg

Loading a bitstream into volatile memory

openocd -f zc706.cfg -c "pld load 0 blinker_migen.bit; exit"