OCaml RISC-V port is now upstream!

https://github.com/ocaml/ocaml/commit/8f3833c4d0ef656c826359f4137c1eb3d46ea0ef

We’ve been using this patch in Fedora since Nov 2016.

HiFive Unleashed cpuinfo and dmesg

hart	: 1
isa	: rv64imafdc
mmu	: sv39
uarch	: sifive,rocket0

hart	: 2
isa	: rv64imafdc
mmu	: sv39
uarch	: sifive,rocket0

hart	: 3
isa	: rv64imafdc
mmu	: sv39
uarch	: sifive,rocket0

hart	: 4
isa	: rv64imafdc
mmu	: sv39
uarch	: sifive,rocket0

Kernel boot messages after the fold.

Fedora/RISC-V running on the HiFive Unleashed board

Thanks to David Abdurachmanov and SiFive for these pictures.

HiFive Unleashed Freedom U540 and their crowd-funding page.

Fedora/RISC-V and our downloadable and now bootable disk images.

Previously …

Part 2: LWN article on Fedora/RISC-V

https://lwn.net/SubscriberLink/749443/3b74c2ae8d2e11b9/

Part 1 was here: https://lwn.net/Articles/749185/

Fedora/RISC-V: ssh and dnf working

https://fedorapeople.org/groups/risc-v/disk-images/

$ ssh -p 10000 root@localhost
root@localhost's password: riscv
[root@stage4 ~]# uname -a
Linux stage4 4.15.0-rc9-00064-gf923ce3a29af #1 SMP Thu Feb 15 10:59:13 GMT 2018 riscv64 riscv64 riscv64 GNU/Linux
[root@stage4 ~]# dnf install glibc-devel
Last metadata expiration check: 0:03:38 ago on Wed 21 Feb 2018 15:24:07 UTC.
Dependencies resolved.
================================================================================
 Package                  Arch          Version               Repository   Size
================================================================================
Installing:
 glibc-devel              riscv64       2.27-4.fc28           local       1.0 M
Installing dependencies:
 glibc-headers            riscv64       2.27-4.fc28           local       442 k
 kernel-headers           noarch        4.15.0-1.fc27         local       1.1 M
 libpkgconf               riscv64       1.4.1-1.fc27          local        74 k
 libxcrypt-devel          riscv64       4.0.0-4.fc28          local        15 k
 pkgconf                  riscv64       1.4.1-1.fc27          local        35 k
 pkgconf-m4               noarch        1.4.1-1.fc27          local        15 k
 pkgconf-pkg-config       riscv64       1.4.1-1.fc27          local        14 k

Transaction Summary
================================================================================
Install  8 Packages

Total download size: 2.6 M
Installed size: 7.4 M
Is this ok [y/N]: 

virt-builder RISC-V edition

$ file builder/virt-builder
builder/virt-builder: ELF 64-bit LSB executable, UCB RISC-V, version 1 (SYSV), dynamically linked, interpreter /lib/ld.so.1, for 
GNU/Linux 2.6.32, BuildID[sha1]=184c9522f22abc5c325ac5a1ee2d272b225d5503, not stripped

Probably the least useful copy of virt-builder since there’s no qemu and no network. However it does demonstrate that we can now build large mixed C / OCaml binaries on RISC-V successfully.