```
# cd sys/riscv/conf
# config GENERIC
# config GENERICSF
# cd ../compile/GENERIC
# make CC="riscv64-unknown-freebsd13.0-gcc -E" kern_mib.o -n | grep gcc | sh | grep machine_arch | grep char
static const char machine_arch[] = "riscv64";
# cd ../compile/GENERICSF
# make CC="riscv64-unknown-freebsd13.0-gcc -E" kern_mib.o -n | grep gcc | sh | grep machine_arch | grep char
static const char machine_arch[] = "riscv64sf";
#
```