The seL4 microkernel https://sel4.systems/

LICENSE_GPLv2.txt 15KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297
  1. Files described as being under the "GNU General Public License version 2"
  2. or simply the "GPLv2" fall under the following license.
  3. Note that this copyright does not cover user programs that use kernel
  4. services by normal system calls --- this is merely considered normal use
  5. of the kernel, and does not fall under the heading of "derived work".
  6. Also note that while the Free Software Foundation owns the copyright to
  7. the license text below, copyright for the actual files included in this
  8. project are held by their respective owners, indicated at the top of
  9. each file.
  10. -----------------------------------------------------------------------
  11. GNU GENERAL PUBLIC LICENSE
  12. Version 2, June 1991
  13. Copyright (C) 1989, 1991 Free Software Foundation, Inc.,
  14. 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
  15. Everyone is permitted to copy and distribute verbatim copies
  16. of this license document, but changing it is not allowed.
  17. Preamble
  18. The licenses for most software are designed to take away your
  19. freedom to share and change it. By contrast, the GNU General Public
  20. License is intended to guarantee your freedom to share and change free
  21. software--to make sure the software is free for all its users. This
  22. General Public License applies to most of the Free Software
  23. Foundation's software and to any other program whose authors commit to
  24. using it. (Some other Free Software Foundation software is covered by
  25. the GNU Lesser General Public License instead.) You can apply it to
  26. your programs, too.
  27. When we speak of free software, we are referring to freedom, not
  28. price. Our General Public Licenses are designed to make sure that you
  29. have the freedom to distribute copies of free software (and charge for
  30. this service if you wish), that you receive source code or can get it
  31. if you want it, that you can change the software or use pieces of it
  32. in new free programs; and that you know you can do these things.
  33. To protect your rights, we need to make restrictions that forbid
  34. anyone to deny you these rights or to ask you to surrender the rights.
  35. These restrictions translate to certain responsibilities for you if you
  36. distribute copies of the software, or if you modify it.
  37. For example, if you distribute copies of such a program, whether
  38. gratis or for a fee, you must give the recipients all the rights that
  39. you have. You must make sure that they, too, receive or can get the
  40. source code. And you must show them these terms so they know their
  41. rights.
  42. We protect your rights with two steps: (1) copyright the software, and
  43. (2) offer you this license which gives you legal permission to copy,
  44. distribute and/or modify the software.
  45. Also, for each author's protection and ours, we want to make certain
  46. that everyone understands that there is no warranty for this free
  47. software. If the software is modified by someone else and passed on, we
  48. want its recipients to know that what they have is not the original, so
  49. that any problems introduced by others will not reflect on the original
  50. authors' reputations.
  51. Finally, any free program is threatened constantly by software
  52. patents. We wish to avoid the danger that redistributors of a free
  53. program will individually obtain patent licenses, in effect making the
  54. program proprietary. To prevent this, we have made it clear that any
  55. patent must be licensed for everyone's free use or not licensed at all.
  56. The precise terms and conditions for copying, distribution and
  57. modification follow.
  58. GNU GENERAL PUBLIC LICENSE
  59. TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
  60. 0. This License applies to any program or other work which contains
  61. a notice placed by the copyright holder saying it may be distributed
  62. under the terms of this General Public License. The "Program", below,
  63. refers to any such program or work, and a "work based on the Program"
  64. means either the Program or any derivative work under copyright law:
  65. that is to say, a work containing the Program or a portion of it,
  66. either verbatim or with modifications and/or translated into another
  67. language. (Hereinafter, translation is included without limitation in
  68. the term "modification".) Each licensee is addressed as "you".
  69. Activities other than copying, distribution and modification are not
  70. covered by this License; they are outside its scope. The act of
  71. running the Program is not restricted, and the output from the Program
  72. is covered only if its contents constitute a work based on the
  73. Program (independent of having been made by running the Program).
  74. Whether that is true depends on what the Program does.
  75. 1. You may copy and distribute verbatim copies of the Program's
  76. source code as you receive it, in any medium, provided that you
  77. conspicuously and appropriately publish on each copy an appropriate
  78. copyright notice and disclaimer of warranty; keep intact all the
  79. notices that refer to this License and to the absence of any warranty;
  80. and give any other recipients of the Program a copy of this License
  81. along with the Program.
  82. You may charge a fee for the physical act of transferring a copy, and
  83. you may at your option offer warranty protection in exchange for a fee.
  84. 2. You may modify your copy or copies of the Program or any portion
  85. of it, thus forming a work based on the Program, and copy and
  86. distribute such modifications or work under the terms of Section 1
  87. above, provided that you also meet all of these conditions:
  88. a) You must cause the modified files to carry prominent notices
  89. stating that you changed the files and the date of any change.
  90. b) You must cause any work that you distribute or publish, that in
  91. whole or in part contains or is derived from the Program or any
  92. part thereof, to be licensed as a whole at no charge to all third
  93. parties under the terms of this License.
  94. c) If the modified program normally reads commands interactively
  95. when run, you must cause it, when started running for such
  96. interactive use in the most ordinary way, to print or display an
  97. announcement including an appropriate copyright notice and a
  98. notice that there is no warranty (or else, saying that you provide
  99. a warranty) and that users may redistribute the program under
  100. these conditions, and telling the user how to view a copy of this
  101. License. (Exception: if the Program itself is interactive but
  102. does not normally print such an announcement, your work based on
  103. the Program is not required to print an announcement.)
  104. These requirements apply to the modified work as a whole. If
  105. identifiable sections of that work are not derived from the Program,
  106. and can be reasonably considered independent and separate works in
  107. themselves, then this License, and its terms, do not apply to those
  108. sections when you distribute them as separate works. But when you
  109. distribute the same sections as part of a whole which is a work based
  110. on the Program, the distribution of the whole must be on the terms of
  111. this License, whose permissions for other licensees extend to the
  112. entire whole, and thus to each and every part regardless of who wrote it.
  113. Thus, it is not the intent of this section to claim rights or contest
  114. your rights to work written entirely by you; rather, the intent is to
  115. exercise the right to control the distribution of derivative or
  116. collective works based on the Program.
  117. In addition, mere aggregation of another work not based on the Program
  118. with the Program (or with a work based on the Program) on a volume of
  119. a storage or distribution medium does not bring the other work under
  120. the scope of this License.
  121. 3. You may copy and distribute the Program (or a work based on it,
  122. under Section 2) in object code or executable form under the terms of
  123. Sections 1 and 2 above provided that you also do one of the following:
  124. a) Accompany it with the complete corresponding machine-readable
  125. source code, which must be distributed under the terms of Sections
  126. 1 and 2 above on a medium customarily used for software interchange; or,
  127. b) Accompany it with a written offer, valid for at least three
  128. years, to give any third party, for a charge no more than your
  129. cost of physically performing source distribution, a complete
  130. machine-readable copy of the corresponding source code, to be
  131. distributed under the terms of Sections 1 and 2 above on a medium
  132. customarily used for software interchange; or,
  133. c) Accompany it with the information you received as to the offer
  134. to distribute corresponding source code. (This alternative is
  135. allowed only for noncommercial distribution and only if you
  136. received the program in object code or executable form with such
  137. an offer, in accord with Subsection b above.)
  138. The source code for a work means the preferred form of the work for
  139. making modifications to it. For an executable work, complete source
  140. code means all the source code for all modules it contains, plus any
  141. associated interface definition files, plus the scripts used to
  142. control compilation and installation of the executable. However, as a
  143. special exception, the source code distributed need not include
  144. anything that is normally distributed (in either source or binary
  145. form) with the major components (compiler, kernel, and so on) of the
  146. operating system on which the executable runs, unless that component
  147. itself accompanies the executable.
  148. If distribution of executable or object code is made by offering
  149. access to copy from a designated place, then offering equivalent
  150. access to copy the source code from the same place counts as
  151. distribution of the source code, even though third parties are not
  152. compelled to copy the source along with the object code.
  153. 4. You may not copy, modify, sublicense, or distribute the Program
  154. except as expressly provided under this License. Any attempt
  155. otherwise to copy, modify, sublicense or distribute the Program is
  156. void, and will automatically terminate your rights under this License.
  157. However, parties who have received copies, or rights, from you under
  158. this License will not have their licenses terminated so long as such
  159. parties remain in full compliance.
  160. 5. You are not required to accept this License, since you have not
  161. signed it. However, nothing else grants you permission to modify or
  162. distribute the Program or its derivative works. These actions are
  163. prohibited by law if you do not accept this License. Therefore, by
  164. modifying or distributing the Program (or any work based on the
  165. Program), you indicate your acceptance of this License to do so, and
  166. all its terms and conditions for copying, distributing or modifying
  167. the Program or works based on it.
  168. 6. Each time you redistribute the Program (or any work based on the
  169. Program), the recipient automatically receives a license from the
  170. original licensor to copy, distribute or modify the Program subject to
  171. these terms and conditions. You may not impose any further
  172. restrictions on the recipients' exercise of the rights granted herein.
  173. You are not responsible for enforcing compliance by third parties to
  174. this License.
  175. 7. If, as a consequence of a court judgment or allegation of patent
  176. infringement or for any other reason (not limited to patent issues),
  177. conditions are imposed on you (whether by court order, agreement or
  178. otherwise) that contradict the conditions of this License, they do not
  179. excuse you from the conditions of this License. If you cannot
  180. distribute so as to satisfy simultaneously your obligations under this
  181. License and any other pertinent obligations, then as a consequence you
  182. may not distribute the Program at all. For example, if a patent
  183. license would not permit royalty-free redistribution of the Program by
  184. all those who receive copies directly or indirectly through you, then
  185. the only way you could satisfy both it and this License would be to
  186. refrain entirely from distribution of the Program.
  187. If any portion of this section is held invalid or unenforceable under
  188. any particular circumstance, the balance of the section is intended to
  189. apply and the section as a whole is intended to apply in other
  190. circumstances.
  191. It is not the purpose of this section to induce you to infringe any
  192. patents or other property right claims or to contest validity of any
  193. such claims; this section has the sole purpose of protecting the
  194. integrity of the free software distribution system, which is
  195. implemented by public license practices. Many people have made
  196. generous contributions to the wide range of software distributed
  197. through that system in reliance on consistent application of that
  198. system; it is up to the author/donor to decide if he or she is willing
  199. to distribute software through any other system and a licensee cannot
  200. impose that choice.
  201. This section is intended to make thoroughly clear what is believed to
  202. be a consequence of the rest of this License.
  203. 8. If the distribution and/or use of the Program is restricted in
  204. certain countries either by patents or by copyrighted interfaces, the
  205. original copyright holder who places the Program under this License
  206. may add an explicit geographical distribution limitation excluding
  207. those countries, so that distribution is permitted only in or among
  208. countries not thus excluded. In such case, this License incorporates
  209. the limitation as if written in the body of this License.
  210. 9. The Free Software Foundation may publish revised and/or new versions
  211. of the General Public License from time to time. Such new versions will
  212. be similar in spirit to the present version, but may differ in detail to
  213. address new problems or concerns.
  214. Each version is given a distinguishing version number. If the Program
  215. specifies a version number of this License which applies to it and "any
  216. later version", you have the option of following the terms and conditions
  217. either of that version or of any later version published by the Free
  218. Software Foundation. If the Program does not specify a version number of
  219. this License, you may choose any version ever published by the Free Software
  220. Foundation.
  221. 10. If you wish to incorporate parts of the Program into other free
  222. programs whose distribution conditions are different, write to the author
  223. to ask for permission. For software which is copyrighted by the Free
  224. Software Foundation, write to the Free Software Foundation; we sometimes
  225. make exceptions for this. Our decision will be guided by the two goals
  226. of preserving the free status of all derivatives of our free software and
  227. of promoting the sharing and reuse of software generally.
  228. NO WARRANTY
  229. 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
  230. FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN
  231. OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES
  232. PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
  233. OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
  234. MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS
  235. TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE
  236. PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
  237. REPAIR OR CORRECTION.
  238. 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
  239. WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR
  240. REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,
  241. INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING
  242. OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED
  243. TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY
  244. YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER
  245. PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE
  246. POSSIBILITY OF SUCH DAMAGES.
  247. END OF TERMS AND CONDITIONS