Currently we don't support RV64, added with RIOT-OS/riotdocker#279 and the related PRs.
This should presumably actually not be too hard, we just need to find the time to fix this (we also don't support any RV64 board under 700€ so it probably also makes sense to find something cheaper to add to RIOT)
Currently we don't support RV64, added with RIOT-OS/riotdocker#279 and the related PRs.
This should presumably actually not be too hard, we just need to find the time to fix this (we also don't support any RV64 board under 700€ so it probably also makes sense to find something cheaper to add to RIOT)