1My insulin pump controller uses the Linux kernel. It also violates the GPL (opens in new tab)(old.reddit.com)504davisr3mo ago262