Hacker News new | ask | show | jobs
by dfc 5446 days ago
Unless things have changed GRUB can boot other operating systems.