Update 2024-04-10: Updated with my latest knowledge about this topic. In this blog post, I’m going to show you briefly how you can compile an out-of-tree Linux kernel module in Nix. I use regular Nix for that and no Nix flakes. However, with flakes, the approach is similar. Background Knowledge Read more…
I have a setup with a Linux Kernel and a custom initrd, hence, no full Linux distribution. The initrd is meant to be as minimal as it can be. As a consequence, even basic things such as power-off on power-button pressed must be configured manually. There is no init system Read more…
What I show in this blog post is nothing new or unique, but it is something I wish someone would have shown me in this simplicity in my second or third semester at university. In this post, I briefly explain how you can talk to Linux without the libc or Read more…
EDK2 is a development environment to create firmware implementations that follows the UEFI specification. It is part of tianocore project. which is the reference implemenation for UEFI. Multiple “packages”, which are the sources to build tianocore for different platforms (x86, ARM, QEMU), are located inside the git repository of “EDK2”. Read more…
Yesterday I faced the problem that I need a convenient way to manage multiple domains on the same host/IP. I have “main” domains with potentially further sub-domains. How can one optimize the retrieval of certificates without writing all the shell commands manually or look ’em up in the shell history? Read more…
For an uni project at TU Dresden I had to work with the RDMA implementation inside Linux. I think that RDMA in Linux is terribly poorly documented and there are only a few good resources. I want to share with you the findings I made that I wish I had Read more…