shithub: riscv

ref: 1b7e120c090af2f8f0e17a664ba0e5e5d7f261a0
dir: /sys/lib/plumb/fileaddr/

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