[ndnsjxj]

Porting to any platform is trivial after understanding the basics as described in these articles

The author explicitly describes why they chose riscv32

Why would you want the author to use riscv64 instead?

[foobiekr]

At least on Intel, it was quite a significant difference in some ways, in kernel terms.