Using NVM in the L4 Microkernel OS
- Introduction and Foundations of L4Re
- Hands-On Session 1: Say Hello to L4Re
- NVM: What Does It Look Like in Reality?
- A Quick Tour of System Programming on L4Re
- Hands-On Session 3: Building a Simple KVS on NVM
Prerequisites
Till Miemietz (Barkhausen Institut, Dresden)
Viktor Reusch (Barkhausen Institut, Dresden)
Till Miemietz (Barkhausen Institut, Dresden)
Being born and raised in the suburbs of Berlin, I moved to Dresden for studying
CS with a minor in economics at the Technische Universität. I subsequently
received my diploma with distinction in 2020. Shortly afterwards, I joined the
Barkhausen Institut and took up my PhD studies under the supervision of
Hermann Härtig. Starting in my undergraduate studies, I worked on several
aspects of systems software for high-performance storage and network
architectures. Recently, my focus shifted towards researching into OS designs
for non-volatile memory. In the scope of SPP 2377, I am a member of the
FOSSIL project team.
Viktor Reusch (Barkhausen Institut, Dresden)
I received my bachelor's degree with distinction in 2021.
Since then, I am studying for my master's degree at the Technische Universität
Dresden. At the same time, I started working at the Barkhausen Institut as a
student research assistant. My work focuses on system call interfaces,
microkernels and non-volatile memory. Other subjects of interest include Rust
and system security.