shithub: riscv

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

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