shithub: riscv

ref: 367b4be219f0513546e5df5f73f33658626bdfd3
dir: /sys/lib/plumb/fileaddr/

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