- my dotfiles, personnal configuration for the tools I love to use.
- hobby kernel written in ziglang. Goals include writing a paravirt driver, ext2 filesystem, scheduling and SMP.
- Compiling unikernel applications+libc inside of linux as kernel modules (see kernel tree and demo).
I wrote a few open-source patches during my internship at Gandi at the end of 2018, I'd like to do more but I'm currently doing ops work now.
Patches are subjectively self-evaluated based on size and difficulty.
||only trivial changes