shithub: riscv

ref: 5a3aea0ca8fc8ec5529a5328e6f7879ad6d976da
dir: /sys/lib/plumb/fileaddr/

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