shithub: riscv

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

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