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