https://labs.davlgd.fr/posts/2024-05-whats-a-minimal-linux/