shithub: riscv

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

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