M-Labs
/
zynq-rs
10
0
Fork 5
Code Issues 5 Pull Requests 0 Releases 0 Wiki Activity
Bare-metal Rust on Zynq-7000
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
565 Commits
1 Branch
5.1 MiB
 
 
 
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
 ZIP  TAR.GZ
Sebastien Bourdeauducq def17829d9 LGPLv3 2 weeks ago
.cargo cargo: remove unmaintained runner 7 months ago
experiments libsupport_zynq: fix stack pointer problems 3 months ago
libasync libasync: provide get/set ack_delay (new in smoltcp 0.7.0) 2 months ago
libboard_zynq update smoltcp 0.6.0 -> 0.7.0 2 months ago
libconfig add feature target_kasli_soc to libsupport_zynq, libconfig, experiments, szl, default.nix 5 months ago
libcoreio add libconfig, libcoreio, szl from artiq-zynq a277e89b3ad; update dependencies 7 months ago
libcortex_a9 libcortex_a9: added interrupt_handler macro 3 months ago
libregister libregister: allow rustdoc for register! macro 5 months ago
libsupport_zynq libsupport_zynq: fix stack pointer problems 3 months ago
nix update Rust 2 months ago
openocd openocd: remove xilinx-tcl on Cora Z7 5 months ago
szl libsupport_zynq: fix stack pointer problems 3 months ago
.gitignore remove zc706.elf from gitignore 1 year ago
Cargo.lock update smoltcp 0.6.0 -> 0.7.0 2 months ago
Cargo.toml add libconfig, libcoreio, szl from artiq-zynq a277e89b3ad; update dependencies 7 months ago
LICENSE LGPLv3 2 weeks ago
README.md LGPLv3 2 weeks ago
armv7-none-eabihf.json define custom target, use with cargo-xbuild 2 years ago
default.nix default.nix: update cargoSha256* 2 months ago
remote_run.sh remote_run.sh: clean up getopts 5 months ago
shell.nix libsupport_zynq: custom memcpy 3 months ago
xbuild_writable_lockfile.diff patch cargo-xbuild to ensure copied Cargo.lock is writable 6 months ago

README.md

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"

License

Copyright (C) 2019-2021 M-Labs Limited. Released under the GNU LGPL v3. See the LICENSE file for details.