RISC-V comienza aquí
zephyr: sistema operativo de código abierto
linux: nada que decir.
risc-pk: RISC-V Proxy Kernel se explica a continuación: Es un entorno de ejecución de aplicaciones liviano que puede alojar un entorno RISC-V ELF vinculado estáticamente. Está diseñado para admitir implementaciones RISC-V conectadas con capacidades de E/S limitadas y, por lo tanto, maneja llamadas del sistema relacionadas con E/S a través de un host proxy.
BBL: Cargador de arranque Berkeley. 27 es la primera versión compatible con RISC-V)
Kernel de Linux: upstream (se incluye el código central arquitectónico
Kernel 4.15; kernel 4.19 incluye el arranque del sistema simulado en modo de usuario con todos los controladores requerido)
gdb: upstream en master (en proceso de lanzamiento)
qemu: upstream (2.12 es el primero en soportar la versión RISC-V)
qemu : upstream (2.12 es la primera versión compatible con RISC-V)