Rustpi: A Rust-powered Reliable Micro-kernel Operating System.

Yuanzhi Liang Lei Wang Siran Li Bo Jiang

Published in: ISSRE Workshops (2021)

Keyphrases

operating system
computer systems
microsoft windows
virtual machine
distributed systems
cost effective
application level
memory management
virtual memory
linux kernel
database systems
multi threaded
address space
red hat
databases
windows xp
information systems