M-Labs
/
zynq-rs
11
0
Fork 9
Code Issues 6 Pull Requests 1 Releases Wiki Activity
Bare-metal Rust on Zynq-7000
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
625 Commits
2 Branches
0 Tags
5.8 MiB
Rust 95.6%
Assembly 2.6%
Nix 1.7%
 
 
 
master
esavkin/reboot_support
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Go to file
Sebastien Bourdeauducq f20c008264 flake: nixpkgs 23.05 1 week ago
.cargo cargo: remove unmaintained runner 3 years ago
experiments experiments: add error led test for kasli_soc 9 months ago
libasync libasync: provide get/set ack_delay (new in smoltcp 0.7.0) 2 years ago
libboard_zynq Fix soft_rst bit, add reboot function 8 months ago
libconfig config: add "fat_lfn" feature 1 year ago
libcortex_a9 mutex: add async version of lock 1 year ago
libregister libregister: allow rustdoc for register! macro 3 years ago
libsupport_zynq panic: turn on error_led for kasli_soc 9 months ago
openocd openocd: moved common code from target files 1 year ago
szl szl: change CPU frequency of Kasli-SoC to 1 GHz 11 months ago
.gitignore nix flakes support (#85) 1 year ago
Cargo.lock update dependencies 1 year ago
Cargo.toml Kasli-SoC: Get MAC address from EEPROM (#90) 1 year ago
LICENSE LGPLv3 2 years ago
README.md update copyright year 1 year ago
armv7-none-eabihf.json define custom target, use with cargo-xbuild 4 years ago
flake.lock flake: nixpkgs 23.05 1 week ago
flake.nix flake: nixpkgs 23.05 1 week ago
fsbl.patch nix flakes support (#85) 1 year ago
kasli_soc_por.py add Kasli-SoC POR control program 2 years ago
remote_run.sh remote_run.sh: clean up getopts 3 years 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:

  • 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.