shithub: riscv

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

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