Hello! What better way to start sharing my thoughts and work, then with a “Hello World”!
fn main() {
println!("Hello World!");
}I am currently working hard on finishing my Master’s degree at UCL, specifically my Senior Project: “Improving Space Efficiency of the Memory Management System of CantripOS” (title WIP :) ). I will be sharing some tips and hurdles I found while working on it, specifically related to seL4 Microkernel development, CantripOS and kernel software debugging. See you then, and wish me luck!
:wq