Fix riscv64 build, and add a build config for it to prevent future breakage.
[helenos.git] / kernel / 
treedd671624288edbcc8e4550b45d9cdc4dbab08763
drwxr-xr-x   ..
-rw-r--r-- 14048 Makefile
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - test
drwxr-xr-x - tools