I’m very interested in the Rust code of artiq_zynq. I noticed that the rtio_csr module references a pl::csr module, which seems to be used for writing parameters to registers. However, I couldn’t find this module in the code repository. Could someone let me know where I can find it?

use crate::{artiq_raise, pl::csr, resolve_channel_name, rtio_core};

See src/Makefile. "/build/pl.rs" comes from the gateware builder. You can use

python -m src/gateware/kasli_soc.py -r pl.rs kasli-soc-master.json

to get it for the Kasli-SoC demo master variant. Just replace the JSON with a path to your config if you want to do that instead.