Debian for RISC-V 64-bit (riscv64)

The CPU Intensive test results displayed at Northeastern University HPC Day can be found in the following locations:

Himeno and Primesieve


Comparison to various ARM platforms

Custom kernel runs

We could only run a GAPBS scale 21 input size on the RasPi 3 because of the small RAM footprint so it is not quite a fair comparison with the Freedom U540 test but it is posted here


More information at RV128, Opennovation, and OpenSuperComputing

Come visit our booth at SC18 Dallas and design your own processor! And now back to the site.

What is this site?

This site used to be the home of the old unofficial repository of Debian for RISC-V 64-bit (riscv64), which is now hosted in the debian-ports infrastructure.

The following URL contains more and up-to-date information about it:

Current repository

The current repository is hosted in the Debian infrastructure since the end of May of 2018 (debian-ports infrastructure, in particular).

More details and up-to-date information in:


Browse the contents (packages) here:

Settings for apt (sources.list)

Follow the general instructions for repositories of debian-ports:

Old and unofficial repository (incompatible ABI, do not use)


This repository is obsolete, it is not compatible with current RISC-V systems.

In addition, one needs to provide a basic system (with GNU libc, dynamic loader and so on) from circa 15th of November of 2016, either created by yourself (e.g, something simple with just toolchain and something like busybox) or downloaded from other sites of the network.

This is necessary due to the fact that support in key components like GNU libc had not been upstreamed yet, and there were incompatible changes in the toolchain (compiler, assembler, C library, etc.) that happened from time to time.

The packages can be unpacked on that system, along with their dependencies, and they should work; it works better if they are installed with dpkg -i once dpkg works.

Static packages should work even with different versions of GNU libc (with very old or very recent OS images), but there are very few packages in Debian with binaries compiled statically. If nothing else works, try bash-static.



Browse the contents (packages) here:


Obsolete, use the current repository.

Settings for apt (sources.list)


Obsolete, use the current repository.

  deb [ arch=riscv64 signed-by=/usr/share/keyrings/debian-keyring.gpg ] unstable main
  deb-src [ signed-by=/usr/share/keyrings/debian-keyring.gpg ] unstable main

The repository is signed with the key from Manuel A. Fernandez Montecelo as Debian Developer, contained in the file /usr/share/keyrings/debian-keyring.gpg, which is part of the package debian-keyring (available from Debian and derivatives). `apt` will check the authenticity of the repository for you.

If not in a Debian system (or derivative), you can also check the signed Release file in (which contains the checksum of files which in turn contain the checksums of sources and binaries), it is signed by Manuel's key, which is in turn signed by other people's (some of whom you may know and trust) and published in the keyserver ( for example, as well as in the Debian package mentioned above.

So if you trust the signature, verify that Release file is correctly signed by it and the checksums of the files that you download match, you are good to go.