shithub: riscv

ref: 06221c080dad6650b1e1af88857951775803bf32
dir: /sys/src/9/bcm/softfpu.c/

#include "../teg2/softfpu.c"