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