avdgrinten

View JSON Representation

Low-level enthusiast and OS engineer with focus on microkernels. PhD in CS (solvers for NP-hard problems, network algorithms, parallel algorithms).

Funding Links: https://github.com/sponsors/avdgrinten

Name: Alexander van der Grinten
Location: Germany
Company: BlueRock Security Inc.
Kind: user
Followers: 97
Following: 2
Total stars: 31
Repositories count: 27
Created at: 2022-11-06T18:49:02.511Z
Updated at: 2025-03-19T13:15:55.462Z
Last synced at: 2025-03-19T13:15:55.462Z

GitHub Sponsors Profile

About me.
I am the maintainer of the free Managarm operating system, the mlibc C library, the LAI ACPI implementation, the xbstrap build system for OS distributions and various supporting projects of Managarm's ecosystem.
Managarm is a modern OS based on a micro-kernel that replaces traditional synchronous I/O by fully asynchronous I/O, at every layer of the system. To achieve this goal, we employ upcoming language features such as C++20 coroutines to write elegant, yet efficient asynchronous code.
Professionally, I work as a postdoctoral computer science researcher (and also maintain NetworKit and SimExPal). However, this GitHub sponsors profile is exclusively about open source projects that are not funded through my employer.
Why do I need your money?
Your money is primarily needed to cover my own costs arising from the open source projects that I maintain. The most essential investments of these projects concern the continuous integration (CI) and hosting infrastructure. Free CI services do not work for us: a full rebuild of the Managarm system takes around 5 hours on a quad-core machine; it generates around 20 GiB of build artifacts of which 1.5 GiB are archived and published (as binary packages). This is well beyond the limits of what free CI providers allow. Hence, we use our own CI infrastructure - which is currently funded mostly by me, a situation that is unsatisfactory in the long term. Your money will allow me to continue to provide CI services for my projects.
What will your money be used for?
First and foremost, your money will be used for:

Covering CI and hosting costs arising from the projects that I maintain.

Aside from that, excess funding will be invested into:

Promoting Managarm and related projects through talks at open source conferences.
Investing into new hardware for driver development and testing.
Posting bounties for bugs and new features.

All funding obtained through GitHub sponsors will be reinvested into the open source projects that I maintain (and not for my personal financial gain). For transparency, I will publish a breakdown of the costs caused by those projects every 12 months.