Hacker News new | ask | show | jobs
by tau255 2252 days ago
Is there a way to boot it from systemd-boot?