Hands-on MirageOS

We will develop a MirageOS unikernel from scratch. At the beginning, we'll decide what kind of unikernel we develop (HTTP service, something DNS related, TLS, a remote ssh terminal).

We will dive into compilation and execution of the unikernel - also how to modify the code of the unikernel or any dependent library.