shithub: riscv

ref: 49d7ca8d92e5667f3e5ece4c6acbc1064701e2f8
dir: /sys/lib/plumb/fileaddr/

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