shithub: riscv

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

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