Simplify RISC-V page_alloc_init
-rw-r--r-- 786 .gitignore
drwxr-xr-x - Documentation
-rw-r--r-- 13518 GETTING_STARTED
-rw-r--r-- 6891 GNUmakefile
-rw-r--r-- 8110 LICENSE
-rw-r--r-- 2764 Makeconfig
-rw-r--r-- 3348 Makelocal.template
drwxr-xr-x - kern
drwxr-xr-x - scripts
drwxr-xr-x - tests
drwxr-xr-x - tools
drwxr-xr-x - user