Differences between revisions 1 and 15 (spanning 14 versions)
Revision 1 as of 2022-06-04 09:35:12
Size: 5034
Editor: PaulWise
Comment: add port status summary for riscv
Revision 15 as of 2022-12-29 04:00:47
Size: 5478
Editor: PaulWise
Comment: add contact info for the porting team
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
riscv64 is a Debian port for 64-bit little-endian [[RISC-V]] hardware. riscv64 is a Debian port for 64-bit little-endian [[RISC-V]] hardware running the Linux kernel.
Line 7: Line 7:
 * Porting team: Aurelien Jarno, Manuel A. Fernandez Montecelo, Adrian Bunk, Adam Borowski  * Porting team: [[AurelienJarno|Aurelien Jarno]], [[ManuelMontecelo|Manuel A. Fernandez Montecelo]], [[https://db.debian.org/search.cgi?uid=bunk&dosearch=Search|Adrian Bunk]], [[https://db.debian.org/search.cgi?uid=kilobyte&dosearch=Search|Adam Borowski]]
Line 11: Line 11:
 * Debian wiki page: Ports/riscv64  * Debian wiki page: [[Ports/riscv64]]
Line 21: Line 21:
 * ABI and CPU requirements status: finalised  * ABI and CPU requirements status: finalized
 * ABI documentation: [[https://github.com/riscv-non-isa/riscv-elf-psabi-doc|riscv-elf-psabi-doc]]
Line 25: Line 26:
 * [[Teams/Debbugs/ArchitectureTags|bug usertags]]: [[https://bugs.debian.org/cgi-bin/pkgreport.cgi?users=debian-riscv@lists.debian.org;tag=riscv|riscv]] [[https://udd.debian.org/cgi-bin/bts-usertags.cgi?user=debian-riscv@lists.debian.org&tag=riscv|UDD]]) [[https://bugs.debian.org/cgi-bin/pkgreport.cgi?users=debian-riscv@lists.debian.org;tag=riscv64|riscv64]] ([[https://udd.debian.org/cgi-bin/bts-usertags.cgi?user=debian-riscv@lists.debian.org&tag=riscv64|UDD]])  * [[Teams/Debbugs/ArchitectureTags|bug usertags]]: [[https://bugs.debian.org/cgi-bin/pkgreport.cgi?users=debian-riscv@lists.debian.org;tag=riscv64|riscv64]] ([[https://udd.debian.org/cgi-bin/bts-usertags.cgi?user=debian-riscv@lists.debian.org&tag=riscv64|UDD]])
Line 31: Line 32:
   * [[DebianNetDomains|debian.net]]: unofficial buildds, no porterboxen yet    * [[DebianNetDomains|debian.net]]: unofficial buildds, [[https://db.debian.org/machines.cgi?host=debian-riscv64-porterbox-01|porterbox]]
Line 43: Line 44:
 * QA status: [[https://ci.debian.net/status/|debci]] testing, no reproducible builds, piuparts or openqa testing  * QA status: [[https://ci.debian.net/status/failing/?suite%5B%5D=unstable&arch%5B%5D=riscv64|debci]] testing, no reproducible builds, piuparts or openqa testing
Line 47: Line 48:
 * [[Hardware/Database|Hardware probes]]: [[https://linux-hardware.org/?probe=bcb55ce8ce|T-HEAD XuanTie C910]] /* [[https://linux-hardware.org/?probe=xxxxxxxxx|Vendor2 Model2]] */ /* add a few examples */
 * Usage: [[https://popcon.debian.org|~11 popcon submissions]]
 * [[Hardware/Database|Hardware probes]]: [[https://linux-hardware.org/?probe=bcb55ce8ce|T-HEAD XuanTie C910]] [[https://linux-hardware.org/?probe=2a25ea86fc|SiFive HiFive Unmatched]] [[https://linux-hardware.org/?probe=e10faf271c|StarFive VisionFive V1]] [[https://linux-hardware.org/?probe=d1d5741aff|Nezha D1-H Development board]] /* [[https://linux-hardware.org/?probe=xxxxxxxxx|Vendor2 Model2]] */ /* add a few examples */
 * Usage: [[https://popcon.debian.org|~30 popcon submissions (as of 2022-12-09)]]

riscv64

riscv64 is a Debian port for 64-bit little-endian RISC-V hardware running the Linux kernel.

Details


CategoryPorts