[HN Gopher] My insulin pump controller uses the Linux kernel. It...
       ___________________________________________________________________
        
       My insulin pump controller uses the Linux kernel. It also violates
       the GPL
        
       Author : davisr
       Score  : 226 points
       Date   : 2025-12-26 19:13 UTC (3 hours ago)
        
 (HTM) web link (old.reddit.com)
 (TXT) w3m dump (old.reddit.com)
        
       | raverbashing wrote:
       | Good luck trying to enforce the GPL against a Chinese company
        
         | caminanteblanco wrote:
         | Well it looks like insulet is the primary offender here, and
         | Nuu (the Chinese company) is just the hardware manafacturer
        
         | themafia wrote:
         | An actual good use case for tariffs.
        
       | mijoharas wrote:
       | Out of interest is there a process to petition the FSF to take up
       | something like this?
       | 
       | How do they triage and decide what to pursue?
        
         | LukeShu wrote:
         | TL;DR: Not the FSF, but SFC; email compliance@sfconservancy.org
         | 
         | The dominant legal theory is that the GPL can only be enforced
         | by the party holding the copyright. SFC's lawsuit against Vizio
         | is strategically trying to establish precedent changing that;
         | establishing that end-users are "third party beneficiaries"
         | under the GPL, so others can enforce the GPL; but for now the
         | copyright holder is the only one who can enforce it.
         | 
         | So the FSF could only take it up if the violation is on
         | projects that do copyright-assignment to the FSF (i.e.: most
         | GNU stuff). If you do find a violation of GNU stuff, the
         | process is "email license-violation@gnu.org". I do not know
         | what process Craig and Krzysztof use when triaging reports and
         | deciding what to pursue.
         | 
         | Many Linux-kernel contributors (also, SFC member projects such
         | as OpenWrt, Git, Qemu) have assigned their copyright to SFC or
         | named SFC as their legal representative (also, SFC member
         | projects; so SFC _can_ take up something like this. Similarly,
         | you can report violations to them by emailing
         | compliance@sfconservancy.org (see
         | https://sfconservancy.org/copyleft-compliance/help.html for
         | more info).
         | 
         | Now, SFC is aware of more violations than they could ever
         | possibly pursue, so they're strategic about pursuing ones that
         | are high-impact. I'm not sure how they decide that. But I can
         | say that medical devices are near-and-dear to them, between
         | executive-director Karen Sandler's implanted defibrillator and
         | policy-fellow Bradley Kuhn's blood glucose monitor.
        
           | Tomte wrote:
           | > Bradley Kuhn's
           | 
           | I saw that spelling for the first time last week, I think.
           | 
           | Did he change his name? Has he always been Kuhn, but went
           | with Kuhn, because Umlaute are hard for Americans?
        
             | ralph84 wrote:
             | He changed his name.
             | 
             | https://fedi.copyleft.org/@bkuhn/115461658201124515
        
       | anigbrowl wrote:
       | As always, the solution is to contact their legal department,
       | preferably via a lawyer. Engineers and support staff are not
       | going to risk their jobs making legal decisions about giving away
       | company property.
       | 
       | The FSF could help a lot here by publishing demand letter
       | templates outlining the statutory and precedential basis for
       | license enforcement and recovery of damages.
        
         | whatshisface wrote:
         | It is not company property.
        
           | Aurornis wrote:
           | Support staff or even engineers are not in a position to be
           | making that call. It's a legal department decision, even if
           | it seems obvious to you.
        
             | ozim wrote:
             | This should be the most upvoted answer.
             | 
             | Yeah there are are startups where head guys don't know that
             | and developers jump the gun because they feel like they're
             | ones that have the best understanding of the issue at hand.
             | 
             | But of course that's legal territory.
        
             | opello wrote:
             | I agree that a front-line CSR or even engineer is not
             | likely the right person, but surely then the responsible
             | action is to redirect the request to the responsible
             | department or person?
        
           | anigbrowl wrote:
           | But it's the company's legal department which would evaluate
           | that claim. Because it's a legal claim. Licenses aren't magic
           | spells, they're social agreements and non-executive employees
           | don't want to get in trouble for making executive decisions.
        
           | abigail95 wrote:
           | Derivative works are owned by those who create them. What
           | copyright says you can do with them depends on the specifics,
           | but the general case is true.
        
           | treesknees wrote:
           | That really depends. A company can still own the copyright to
           | the code that they've written, even if it's licensed with
           | GPL. It's an asset that is transferred if the company is
           | sold, etc, so yes, it's actually company property.
           | 
           | The GPL grants rights to use and distribute, but does not
           | grant ownership. It's not suddenly in the public domain.
        
       | teddyh wrote:
       | > _I then decided to contact Insulet to get the kernel source
       | code for it, being GPLv2 licensed, they 're obligated to provide
       | it._
       | 
       | This is technically not true. It is an oversimplification of the
       | common case, but what actually normally should happen is that:
       | 
       | 1. The GPL requires the company to send the user a _written
       | offer_ of source code.
       | 
       | 2. The user uses this offer to request the source code from the
       | company.
       | 
       | 3. If the user does not receive the source code, the user can sue
       | the company for not honoring its promises, i.e. the offer of
       | source code. This is not a GPL violation; it is a straight
       | contract violation; the contract in this case being the explicit
       | offer of source code, and not the GPL.
       | 
       | Note that all this is completely off the rails if the user does
       | not receive a written offer of source code in the first place. In
       | this case, the user has no right to source code, since the user
       | did not receive an offer for source code.
       | 
       | However, the copyright holders can immediately sue the company
       | for violating the GPL, since the company did not send a written
       | offer of source code to the user. It does not matter if the
       | company does or does not send the source code to the user; the
       | fact that the company did not send a written offer to the user in
       | the first place is by itself a GPL violation.
       | 
       | (IANAL)
        
         | jstanley wrote:
         | Are you saying that in the general case if you send someone a
         | written offer for something and then don't honour it, you are
         | in breach of contract?
         | 
         | That doesn't sound right to me.
         | 
         | A written offer is not the same thing as a contract.
        
           | dspillett wrote:
           | The written offer is part of the licence, as is the need to
           | respond to that offer with the source code offered. It is all
           | part of the same agreement.
           | 
           | A written offer _on its own_ would not normally be directly
           | enforceable in many (most?) jurisdictions, for the same sort
           | of reason that retailers can 't be held to incorrectly
           | published prices (in the UK at least, a displayed price is an
           | "invitation to tender", not a contract or other promise)
           | except where other laws/regulations (anti bait&switch rules
           | for instance), or the desire to avoid fighting in the court
           | of public opinion, come into effect.
           | 
           | But in this instance, the written offer and the response to
           | that offer are part of the wider licence that has been agreed
           | to.
        
             | teddyh wrote:
             | I don't think so; I can't recall any support for such a
             | connection between the written offer and the GPL itself
             | written into the GPL license text.
        
               | abdullahkhalids wrote:
               | From section 4 [1]
               | 
               | > If distribution of object code is made by offering
               | access to copy from a designated place, then offering
               | equivalent access to copy the source code from the same
               | place satisfies the requirement to distribute the source
               | code, even though third parties are not compelled to copy
               | the source along with the object code.
               | 
               | Similar clauses in Sec 6.
               | 
               | [1] https://www.gnu.org/licenses/old-
               | licenses/lgpl-2.1.html
        
               | teddyh wrote:
               | That section (and similar in section 6c) is not about the
               | written offer of source code. The written offer of source
               | code is instead covered in section 6c.
        
               | abdullahkhalids wrote:
               | Ah.. Thanks
               | 
               | > c) Accompany the work with a written offer, valid for
               | at least three years, to give the same user the materials
               | specified in Subsection 6a, above, for a charge no more
               | than the cost of performing this distribution.
        
               | immibis wrote:
               | So according to the legal theory expressed in this thread
               | so far, nobody can sue anybody and there's no obligation
               | to provide source code. The copyright holder couldn't sue
               | because the license was followed (an offer was provided)
               | and the end user couldn't sue because the offer doesn't
               | have to be followed up on.
               | 
               | Or, instead of theorycrafting reasons why it shouldn't
               | work, you could "just" sue them and see if the judge
               | agrees.
        
           | teddyh wrote:
           | Maybe it's not technically "breach of contract", and an offer
           | might or might not be a contract. But if you don't honor an
           | offer you made, you must surely be guilty of something.
           | Otherwise, all offers would be meaningless and worth nothing.
        
             | jstanley wrote:
             | I don't think you're guilty of anything for failing to
             | honour an offer in most cases.
        
               | kkjjjjw wrote:
               | Such offer is as legally binding as any tender. Of course
               | a contract dispute could go either way.
        
               | Retric wrote:
               | An offer is legally binding in that when someone acts
               | based on that offer you can be liable for damages.
               | 
               | This does not force you to honor the original offer
               | though.
        
           | kgwxd wrote:
           | I think they're just saying the GPL doesn't really cover
           | consumer/distributor (dis)agreements, it only covers
           | copyright. While the spirit of the GPL is user-first, it
           | still has to be realized within the confines of copyright
           | law. Even though many people might conflate the spiritual
           | goal and the legal agreement, it doesn't grant "users" any
           | extraordinary legal powers.
           | 
           | It's not illegal to not honor written offers, it's illegal to
           | distribute copyrighted material in violation of it's license.
        
             | cxr wrote:
             | That's not what they're saying.
             | 
             | On the shelves are three insulin pumps: one with a 5-year
             | warranty, one at a bargain barrel price that comes with no
             | warranty, and one accompanied by a written offer allowing
             | you to obtain the source code (and, subject to the terms of
             | the GPL, prepare your own derivative works) at no
             | additional charge any time within the next three years.
             | 
             | Weighing your options, you go with pump #3. You write to
             | the company asking for the GPL source. They say "nix".
             | They're in breach.
        
             | TZubiri wrote:
             | So gpl is a licensor-licensee contract, if code and license
             | is not shared to the user, then there is no contract to
             | which the user is a party, rather the user is a
             | beneficiary.
             | 
             | The offer of source code seems to be a way to facilitate
             | the conveyance of source code through opt-in means
             | separately from the object code rather than some legal
             | trickery to create a user-licensee contract.
             | 
             | While the offer may indeed convey a licensee-user
             | obligation, a compliant distribution would attach a license
             | anyway, converting the user into a licensee and licensor to
             | licensee in a recursive fashion
             | 
             | I wonder if lawyers specialize in this, it sounds very cool
             | and not at all standard law, but somehow compatible with
             | contract law
             | 
             | IANAL
        
           | ww520 wrote:
           | The customer spends money to buy the product along with the
           | source code offered. It's part of the transaction. Not
           | honoring part of the transaction is a breach of contract.
        
         | TZubiri wrote:
         | > This is not a GPL violation; it is a straight contract
         | violation
         | 
         | But GPL is a contract
         | 
         | I think the distinction you are pointing would be between a gpl
         | licensor-licensee contract, rather than a licensee-user
         | contract.
         | 
         | (IANAL)
        
         | JoshTriplett wrote:
         | This is an open legal question, which the Conservancy v Vizio
         | case will hopefully change; in that case, Conservancy is
         | arguing that _consumers_ have the right to enforce the GPL in
         | order to receive source code.
        
           | singpolyma3 wrote:
           | The argument here is that, if there is an offer, they already
           | do under standard contract law.
        
           | schmuckonwheels wrote:
           | This got buried on HN a few days ago which is a shame:
           | 
           | https://social.kernel.org/notice/B1aR6QFuzksLVSyBZQ
           | 
           | Linus rants that the SFC is wrong and argues that the GPLv2
           | which the kernel is licensed under does NOT force you to open
           | your hardware. The spirit of the GPL was about contributing
           | improvements back to the community.
           | 
           | Which brings us to the question: what is this guy going to do
           | with (presumably) the kernel source? Force the Chinese to
           | contribute back their improvements to the kernel? Of which
           | there are likely none. Try and run custom software on his
           | medical device which can likely kill him? More than likely.
           | 
           | This is about as ridiculous as buying a ticket on an airplane
           | and thinking you are entitled to the source code of the Linux
           | in-seat entertainment system.
        
         | immibis wrote:
         | In America, maybe this is the case. In Germany, it seems an end
         | user can sue them directly for source code.
        
       | Group_B wrote:
       | Oh well. The whole thing has already been reverse engineered.
       | Look up Loop or Trio or OpenAPS. Diabetic companies like Insulet
       | have been very lax when it's come to the hacking of their
       | devices. This isn't really that big a deal. What we need right
       | now is help REing the Omnipod 5
        
         | duban wrote:
         | I'm aware of a few people working on REing the Omnipod 5. The
         | furthest issue that I have seen is that when a PDM/Omnipod 5
         | app signs into your insulet id, it gets a private key from the
         | API which is stored in the keychain (and uses SSL pinning to
         | prevent MiTM retrieval of the private key). When pairing with
         | the pod they exchange public keys and then a derived key from
         | the devices private key+pods public keys, but haven't been able
         | to get a copy of a private key yet to make further progress.
        
         | fyhn wrote:
         | Not all though, I've been looking at Minimed pump reverse
         | engineering (which would be just reading glucose data, not
         | controlling the pump), and that's not solved yet, at least not
         | for the 780G. But I hope it will be, and perhaps I'll be able
         | to contribute.
        
           | mlsu wrote:
           | I don't work for Medtronic. But it's extremely unlikely that
           | will happen. It's not merely a matter of reverse engineering
           | -- after the original medtronic "hack" / reverse engineer
           | efforts (the ones that lead to the original openAPS system
           | being developed) the FDA put out new guidance on
           | cybersecurity protections for insulin pumps.
           | 
           | The communication between your phone/pump or glucose
           | sensor/pump is encrypted now for all newer devices.
           | 
           | > Diabetic companies like Insulet have been very lax when
           | it's come to the hacking of their devices
           | 
           | Absolutely not true, not any more.
        
       | Aurornis wrote:
       | Be sure to read the top comment where someone who claims to have
       | worked for the company provides some inside information.
       | 
       | In my experience, this is quite common when the development of
       | hardware is viewed as a cost center and is outsourced to various
       | providers and teams. Those providers and teams churn a lot and
       | nobody who worked on that is likely still involved with the
       | company via contracts or direct employment.
       | 
       | Front line support people aren't equipped to respond to these
       | requests. If you're lucky they'll get bounced around internally
       | while project managers play hot potato with the e-mail until it
       | gets forgotten. You might get lucky if you go the corporate legal
       | route, but more likely is that the lawyers will do the math on
       | the likelihood of you causing them actual legal trouble for
       | anything and decide it's best to ignore it.
       | 
       | When I worked at a company that had a history of GPL drama one of
       | the first things I did was enforce a rule that every release had
       | a GPL tarball that was archived and backed up. We educated
       | support people on where to forward requests. I handled them
       | myself. 7 out 10 times, the person on the other end was angry
       | because they assumed the GPL entitled them to _all_ of our source
       | code and they were disappointed when they only found GPL code in
       | the tarball. It really opened my eyes to some of the craziness
       | you get exposed to with these requests (though clearly not the
       | polite and informed request in this Reddit thread) which is
       | probably another reason why support staff are uneasy about
       | engaging with these requests.
        
         | teddyh wrote:
         | > _7 out 10 times, the person on the other end was angry
         | because they assumed the GPL entitled them to all of our source
         | code and they were disappointed when they only found GPL code
         | in the tarball._
         | 
         | Well, if your non-GPL code was directly linked to, or closely
         | interoperated with, any GPL code, those users would have been
         | right.
        
           | juped wrote:
           | Richard Stallman is wrong about linking.
        
             | teddyh wrote:
             | As far as I understand it, Richard Stallman has gotten his
             | view about linking from FSF's lawyers, who has advised the
             | FSF about what does and does not count as a "derived work",
             | in the sense of US copyright law.
             | 
             | If you want to argue that the FSF's lawyers are wrong,
             | please provide more detailed, and hopefully referenced,
             | arguments (as opposed to plain assertions).
        
               | abigail95 wrote:
               | FSF has opinions but not case law - anyone else's opinion
               | is as valid, there's no citation because no court has
               | ruled that dynamic linking is or isn't a derivative work.
               | 
               | You have to construct your own view based on existing
               | statute and vaguely related cases.
               | 
               | Google LLC v. Oracle America, Inc., 593 U.S. 1 (2021) is
               | not a pro-FSF opinion.
               | 
               | Whether linking (dynamic or not) is a derivative work is
               | defined by things like incorporation, similarity, and
               | creative expression.
               | 
               | I think the FSF view is unreasonably confident in its
               | public opinions where the current law is that each
               | potential infraction is going to be decided on a case by
               | case basis. Read 17 USC 101 for yourself and square that
               | with FSF/Stallman opinions.
               | 
               | There's too much nuance to have a stance about what
               | happens when you link a program. "It depends" is the only
               | thing you can say.
        
               | immibis wrote:
               | until you actually sue them, all you have are guesses,
               | and you miss all shots you don't take
        
               | SpicyLemonZest wrote:
               | I would point towards Oracle v. Rimini, where the Ninth
               | Circuit has specifically ruled (inside a complex and yet-
               | unresolved case) that a system built to interoperate with
               | a copyrighted program does not constitute a derivative
               | work of that program. (https://cdn.ca9.uscourts.gov/datas
               | tore/opinions/2024/12/16/2...)
               | 
               | They reference a less on point but better known case (htt
               | ps://en.wikipedia.org/wiki/Lewis_Galoob_Toys,_Inc._v._Nin
               | ...., for some reason you have to manually add the period
               | at the end of the link) about whether NES cheat
               | cartridges were copyright infringement. If a work that
               | directly links to and interoperates with a program is a
               | derivative work of that program, the Game Genie really
               | was illegal after all. To me that doesn't seem right, and
               | given the FSF's general opinion on console restrictions
               | (https://www.fsf.org/bulletin/2025/winter/new-nintendo-
               | drm-ba...) I kinda feel like they'd have to agree.
        
               | abigail95 wrote:
               | Galoob is terrible for the FSF because it provides for a
               | program that only exists to enhance another.
               | 
               | That doesn't fit into the dynamic linking absolutists
               | worldview at all.
        
       | jacquesm wrote:
       | Let me guess. Omnipod. They've had some pretty bad recalls too.
       | Never in a lifetime would I trust my well-being to their p.o.s.
       | hardware / software combo. Apologies that person in this thread
       | that worked there, but I hope you are working for a better
       | company now.
        
       | abigail95 wrote:
       | I get mad triggered by software license violation discussions.
       | 
       | Please for the love of all that the FSF thinks is holy - just
       | file a damn lawsuit if you are telling me they are violating the
       | law. State your claim and have a court sort it out.
       | 
       | It costs hundreds of dollars. For a medical device? Seems like a
       | good deal.
        
         | robomartin wrote:
         | In what planet does a lawsuit cost hundreds of dollars?
        
           | abigail95 wrote:
           | This one. That's what the filing fees are for a lawsuit like
           | this. There's no rule saying you have to pay a lawyer to
           | write a statement of claim.
           | 
           | Edit:
           | 
           | Courts deal with contract law disputes _all the time_. It 's
           | their bread and butter, everyday, nothing special stuff.
           | 
           | Edit2:
           | 
           | To you below, citation needed
        
             | lucb1e wrote:
             | Is that also what it costs when you lose and the court
             | makes you pay their lawyer time?
        
               | abigail95 wrote:
               | Use the CCB then?
               | 
               | Edit: I'm somewhat mad that there's all these tools out
               | there to solve the screeching about GPL violations and
               | nobody seems to want to use them.
        
               | apublicfrog wrote:
               | For reference for non Americans/non legal people:
               | 
               | > The Copyright Claims Board (CCB) is available to
               | resolve copyright disputes of a relatively low economic
               | value and provides an efficient, less expensive
               | alternative to federal court.
               | 
               | https://ccb.gov/
        
           | abigail95 wrote:
           | $405
           | 
           | https://www.caed.uscourts.gov/caednew/index.cfm/attorney-
           | inf...
        
         | austhrow743 wrote:
         | The OP almost certainly isn't a copyright holder for the Linux
         | kernel. They probably would have said if they were.
        
           | abigail95 wrote:
           | Then why are they trying to enforce copyright/contract law
           | without standing?
           | 
           | Making a blog post about _someone elses copyright_ being
           | violated is even more annoying to me.
        
             | austhrow743 wrote:
             | Huh, they're not. You're the one saying they should.
        
               | abigail95 wrote:
               | What's their basis for sending the emails then? If not
               | one of legal standing in copyright/contract law?
               | 
               | Edit: My point is this is just another one of many
               | annoying people you have to deal with who will email you
               | alleging all sorts of legal violations, who don't
               | themselves understand anything about the claims they are
               | making.
        
               | austhrow743 wrote:
               | Basis? You mean reason?
               | 
               | They want the Linux kernel source code.
        
       | jimrandomh wrote:
       | If the only GPLed component used is the Linux kernel, you
       | probably aren't entitled to any noteworthy source code. It's well
       | established that using the kernel doesn't create a GPL
       | requirement userspace software running on the same device, and
       | the most likely arrangement here is a completely-uncustomized
       | kernel paired with an open-source userspace program that does all
       | the interesting bits.
        
         | kkjjjjw wrote:
         | Then it should be trivial for them to provide the source code.
        
         | dilyevsky wrote:
         | It also doesn't apply to driver modules if you use gpl shim (eg
         | nvidia drivers and many others) so i dont get why author thinks
         | they violate anything
        
       | lacoolj wrote:
       | So can someone tell me - a non-insulin-dependent individual - why
       | would an insulin pump need to be (controlled by?) a phone (in
       | this case, the Nuu phone referenced)?
       | 
       | Surely there is a way to cheaply obtain bluetooth and a
       | controller without saying "we'll just use this already existing
       | hardware - that happens to be a whole-ass phone - because it's $5
       | from China"?
       | 
       | Kinda feels like that just screams data-stealing, regardless of
       | where it was made.
        
         | mlsu wrote:
         | Until recently, if you offered a pump that _could_ be
         | controlled by another device (such as a phone) you would have
         | to offer your own "controller" device, even if 99.9% of your
         | customers have a phone already.
         | 
         | So, this companion device is kind of a thing that Insulet had
         | to release. You'll see this with CGM's too -- there's a small
         | companion device sold with the Dexcom G7 (the "controller"),
         | even though everyone just uses their phone.
         | 
         | This is kind of a regulatory quirk; basically from the FDA's
         | point of view you had to have a complete standalone system,
         | that did not include the phone, in order to be able to
         | prescribe it. I think they do not require companion devices any
         | more, it's OK to release something that requires the user to
         | have a phone.
        
           | martin_bech wrote:
           | Its also for security.. outside the US, you still cant use a
           | regular phone with the omnipod.
        
           | lacoolj wrote:
           | So essentially, it's like this?
           | 
           | "we plan on users having a phone to connect to it and use
           | primarily. FDA requires a primary/backup. well it's already
           | phone-controlled, go find a phone that works with it. needs
           | to be cheap, cuz no one will really use it anyway"
           | 
           | That makes a little more sense. I was imagining the
           | development process involving both devices, rather than one
           | device first, then determining what the second would be
           | later.
           | 
           | Thanks for the insight!
        
         | martin_bech wrote:
         | Security... The PDM is walled off completely, it cant install
         | apps, its not on wifi, you cant change any settings. The issue
         | is that a PDM technically could easily kill you, by giving you
         | a lethal dose of insulin.
         | 
         | Funny thing is that the newer Omnipod 5 from the same company
         | works with regular phones now, but only in th US.
        
       | pvtmert wrote:
       | If they built the kernel directly from tree, just pointing out
       | the correct
       | https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin...
       | should be enough...
        
         | cxr wrote:
         | Since a company building it themselves hasn't gotten it in the
         | form of a binary that they're just passing along from someone
         | else and their use is commercial, they don't satisfy either
         | condition of GPLv2 3(c), but they'd need to satisfy both in
         | order to be able to exercise that option.
        
       | HackerThemAll wrote:
       | Is linking to the "old" reddit a sign of being superior to those
       | who use the current version of reddit? I've spotted that numerous
       | times over past few weeks here.
        
         | RobotToaster wrote:
         | Some of us just prefer the old version, so when we copy the
         | link from our URL bar it's to the old version.
        
         | GaryBluto wrote:
         | Why would you come to that conclusion instead of the obvious
         | one being that the kind of people to use Hacker News are the
         | same kind to prefer old Reddit?
        
       ___________________________________________________________________
       (page generated 2025-12-26 23:00 UTC)