Microkernel-based operating system for RISC-V architecture

Abstract

Este proyecto trata de portar y aumentar un pequeño sistema operativo existente, basado en modelo de micronúcleo, desde la plataforma x86-64 a RISC-V, y explicar el diseño resultante. El objetivo resultante del sistema operativo es poder ejecutar algunos controladores y servidores en el espacio del usuario, proporcionar memoria dinámica, soporte de multitarea y multihilo, y alguna infraestructura básica de espacio del usuario. Como resultado, el trabajo logro sus objetivos principales, proporcionando un nuevo sistema operativo interactivo para la plataforma RISC-V, que permite cargar programas de usuario y ejecutar algunas tareas básicas.

The project involves porting and augmenting a small existing microkernel-based operating system from x86-64 to RISC-V platform, and explaining the resulting design. The resulting goal of the operating system is to run some device drivers and servers in user space, provide dynamic memory, multitasking and multithreading, and some basic user space facilities. As a result, the main objectives were achieved, providing a new interactive operating system for RISC-V platform, that can load user programs and execute some basic tasks.