shithub: riscv

ref: e89ca39e5317c2c3cbc80ef9d6614c516b0bb220
dir: /sys/lib/plumb/fileaddr/

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