shithub: riscv

ref: 82aa1d5c786dec9d6e57c5a8cf9859ee787c99de
dir: /sys/lib/plumb/fileaddr/

View raw version
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)