shithub: riscv

ref: 2d1fbbdafa37080ddaacb76ac1e4f5a413ef2dc3
dir: /sys/lib/plumb/fileaddr/

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