Hacker News new | ask | show | jobs
by wz1000 4022 days ago
Can you use different kernels with this?