shithub: riscv

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

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