shithub: riscv

ref: 0d5491fb083510fda1dc3c8a9fa15d45dc0fabcc
dir: /sys/lib/plumb/fileaddr/

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