PKGNAME=spike
PKGDES="RISC-V ISA simulator"
PKGSEC=devel
PKGDEP="dtc"
