Re: GPL-ed code in a driver for a proprietary OS

[John Hasler]

> I'm wondering what the general consensus is on the legitimacy of using
> GPL-ed code in a driver for a proprietary operating system, in my
> particular case to generate a file system driver for Windows CE.

No problem at all (assuming you mean GPLv2: 

  The source code for a work means the preferred form of the work for
  making modifications to it.  For an executable work, complete source code
  means all the source code for all modules it contains, plus any
  associated interface definition files, plus the scripts used to control
  compilation and installation of the executable.  However, as a special
  exception, the source code distributed need not include anything that is
  normally distributed (in either source or binary form) with the major
  components (compiler, kernel, and so on) of the operating system on which
  the executable runs, unless that component itself accompanies the
  executable.

-- 
John Hasler 
john@dhh.gt.org
Dancing Horse Hill
Elmwood, WI USA