My insulin pump controller uses the Linux kernel. It also violates the GPL