Re: [racket-users] Experiences with Racket on RISC-V?

['Paulo Matos' via Racket Users]

On 08/01/2019 18:01, Alexander Shopov wrote:
> Won't emulators like QEMU do good enough job for the initial ironing out
> of problems like the mentioned RISC-V backend for Chez and libffi for
> Racket?

Yes, they will. For sure. I own a Hifive Unleashed but use it mostly for
nightly testing. For the porting work I use qemu.

Give it a try... For a Fedora28 on a riscv64 system, install latest qemu
and then:

wget https://fedorapeople.org/groups/risc-v/disk-images/stage4-disk.img.xz
wget https://fedorapeople.org/groups/risc-v/disk-images/bbl
wget https://fedorapeople.org/groups/risc-v/disk-images/vmlinux
xz -d stage4-disk.img.xz

qemu-system-riscv64 \
    -nographic \
    -machine virt \
    -smp 4 \
    -m 2G \
    -kernel bbl \
    -object rng-random,filename=/dev/urandom,id=rng0 \
    -device virtio-rng-device,rng=rng0 \
    -append "console=ttyS0 ro root=/dev/vda" \
    -device virtio-blk-device,drive=hd0 \
    -drive file=stage4-disk.img,format=raw,id=hd0 \
    -device virtio-net-device,netdev=usernet \
    -netdev user,id=usernet,hostfwd=tcp::10000-:22

Enjoy!

> 
> На вт, 8.01.2019 г. в 16:01 ч. Hendrik Boom <hend...@topoi.pooq.com
> <mailto:hend...@topoi.pooq.com>> написа:
> 
>     On Mon, Jan 07, 2019 at 06:38:07PM -0300, Andrei Formiga wrote:
>     > Sorry to slightly hijack the thread here, but what would be a good
>     RISC-V
>     > dev board to experiment with Racket on it?
> 
>     Not available at all yet, but there's the Libre-RISC-V development,
>     being discussed on a mailing list:
> 
>     http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
> 
>     The aim seems to be to make a fully free (as in freedom, not beer) chip
>     design for a real-life RISC-V processor, and get it manufactured.
> 
>     Ideally, not proprietary anything.
> 
>     We will see.
> 
>     -- hendrik
> 
>     -- 
>     You received this message because you are subscribed to the Google
>     Groups "Racket Users" group.
>     To unsubscribe from this group and stop receiving emails from it,
>     send an email to racket-users+unsubscr...@googlegroups.com
>     <mailto:racket-users%2bunsubscr...@googlegroups.com>.
>     For more options, visit https://groups.google.com/d/optout.
> 
> -- 
> You received this message because you are subscribed to the Google
> Groups "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to racket-users+unsubscr...@googlegroups.com
> <mailto:racket-users+unsubscr...@googlegroups.com>.
> For more options, visit https://groups.google.com/d/optout.

-- 
Paulo Matos

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.