shithub: riscv

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

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