M-Labs/zynq-rs
11
0
Fork 15
Code Issues 6 Pull Requests Releases Wiki Activity
Bare-metal Rust on Zynq-7000
596 Commits 3 Branches 0 Tags 2.1 MiB
Rust 96.3%
Assembly 2.6%
Nix 1%
2e7cfe04c8
Go to file
Sebastien Bourdeauducq 2e7cfe04c8 update copyright year
2022-01-27 18:00:24 +08:00
.cargo cargo: remove unmaintained runner 2020-09-09 15:01:39 +08:00
experiments libsupport_zynq: fix stack pointer problems 2021-01-28 12:33:06 +08:00
libasync libasync: provide get/set ack_delay (new in smoltcp 0.7.0) 2021-02-08 03:06:51 +01:00
libboard_zynq revert a11cb852a8 2021-07-05 13:45:22 +08:00
libconfig add feature target_kasli_soc to libsupport_zynq, libconfig, experiments, szl, default.nix 2020-11-19 19:41:38 +01:00
libcortex_a9 libcortex_a9: added interrupt_handler macro 2021-01-28 11:41:34 +08:00
libregister libregister: allow rustdoc for register! macro 2020-11-19 20:26:18 +01:00
libsupport_zynq libsupport_zynq: fix stack pointer problems 2021-01-28 12:33:06 +08:00
openocd openocd: upgrade deprecated syntax 2021-12-03 18:42:45 +08:00
szl update copyright year 2022-01-27 18:00:24 +08:00
.gitignore nix flakes support (#85) 2022-01-27 16:26:33 +08:00
armv7-none-eabihf.json define custom target, use with cargo-xbuild 2019-08-06 22:03:04 +02:00
Cargo.lock update dependencies 2021-08-09 15:05:05 +08:00
Cargo.toml use updated upstream core_io 2021-05-29 14:09:11 +08:00
flake.lock nix flakes support (#85) 2022-01-27 16:26:33 +08:00
flake.nix nix flakes support (#85) 2022-01-27 16:26:33 +08:00
fsbl.patch nix flakes support (#85) 2022-01-27 16:26:33 +08:00
kasli_soc_por.py add Kasli-SoC POR control program 2021-05-29 17:43:21 +08:00
LICENSE LGPLv3 2021-04-06 16:46:38 +08:00
README.md update copyright year 2022-01-27 18:00:24 +08:00
remote_run.sh remote_run.sh: clean up getopts 2020-11-18 17:45:43 +08:00

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:

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

Build

Zynq-rs is packaged using the Nix Flakes system. Install Nix 2.4+ and enable flakes by adding experimental-features = nix-command flakes to nix.conf (e.g. ~/.config/nix/nix.conf).

You can build SZL or experiments crate for the platform of your choice by using nix build command, e.g.

nix build .#coraz7-experiments

Alternatively, you can still use cargo xbuild within nix develop shell.

nix develop
cargo xbuild --release -p experiments

Currently the ELF output is placed at target/armv7-none-eabihf/release/experiments, or result/experiments.elf for Nix Flakes build.

Debug

Running on the ZC706

nix develop
cargo xbuild --release -p experiments
cd openocd
openocd -f zc706.cfg

Running on the Cora Z7-10

nix develop
cargo xbuild --release -p experiments --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-2022 M-Labs Limited. Released under the GNU LGPL v3. See the LICENSE file for details.