My insulin pump controller uses the Linux kernel. It also violates the GPL | Not Hacker News!