yf13

@junomoto, thanks for sharing this story about the SMP cortex-a7/gnu port. Would you mind edit the first comment by apply the source format to your source, or simply use three...

@salcogn, can you teach what RiscV chip is targeted by this patch?

@alcogn, thanks! that sounds like a [milkv duo](https://milkv.io/duo) device. I am wondering if targeting `qemu-system-riscv64` can be easier for sharing?