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