diff options
Diffstat (limited to 'extras')
-rw-r--r-- | extras/mini-os/COPYING | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/extras/mini-os/COPYING b/extras/mini-os/COPYING index c26ccfc43c..1d9df6ce47 100644 --- a/extras/mini-os/COPYING +++ b/extras/mini-os/COPYING @@ -1,3 +1,16 @@ +Certain files in this directory are licensed by the GNU +General Public License version 2 (GPLv2). By default these +files are not built and linked into MiniOs. Enabling them +will cause the whole work to become covered by the GPLv2. + +The current set of GPLv2 features are: +CONFIG_TPMFRONT +CONFIG_TPMBACK +CONFIG_TPM_TIS + +Do not use these if you do not want your MiniOS build to become +GPL licensed! + Copyright (c) 2009 Citrix Systems, Inc. All rights reserved. Redistribution and use in source and binary forms, with or without |