RSS

All Project Updates

Discussions

Issue Tracker

Releases

Reviews

Source Code

Wiki

RSS

Recent Check-ins | Patches | Upload Patch

Change Set	Date	Downloads	Comment
17067 by dcoetzee	Nov 15 2008 at 1:10 AM	3216	Fix build break for enlistment paths containing spaces.
17061 by dcoetzee	Nov 14 2008 at 3:28 PM	502	Final commit of Singularity RDK 2.0 source (base\build directory)
17057 by dcoetzee	Nov 14 2008 at 2:21 PM	124	Under base add Kernel, Windows
17054 by dcoetzee	Nov 14 2008 at 2:14 PM	80	Under base add Drivers, Imported, Interfaces, Libraries, Options, precompiled, ProjectTemplates
17053 by dcoetzee	Nov 14 2008 at 2:07 PM	67	Under base add boot, Distro, Targets, Contracts, Services, and files under base itself
17052 by dcoetzee	Nov 14 2008 at 1:58 PM	49	Committing RDK 2 in pieces, base\Applications directory
17051 by dcoetzee	Nov 14 2008 at 1:49 PM	54	Committing RDK 2 in pieces, this is everything but the base directory
17050 by dcoetzee	Nov 14 2008 at 11:30 AM	38	Remove all files in preparation for RDK 2 drop.
16587 by dcoetzee	Oct 23 2008 at 11:06 PM	270	Testing
16586 by dcoetzee	Oct 23 2008 at 11:06 PM	95	Testing
14518 by chrishaw	Jul 16 2008 at 9:19 PM	1950	Kernel/Bartok/VerifiedGCs: add examples and documention, remove unnecessary axiom (practical, verified garbage collectors remain the same)
14495 by chrishaw	Jul 16 2008 at 12:02 AM	256	Kernel/Bartok/VerifiedGCs: add BoogiePL files for practical, verified garbage collectors
6709 by nelsonjr	Mar 5 2008 at 4:51 PM	6736	Updating documents to include support location on CodePlex.
6601 by nelsonjr	Mar 4 2008 at 5:11 PM	17015	Singularity RDK 1.1

Show 10 25 Change Sets

1-14 of 14Change Sets < Previous 1 Next >

Latest Version

Download

Browse

Source Control Setup

Connection instructions

Code Contributions

Want to contribute a bug fix, feature, or other code?

Submit a patch

Microsoft Research License Agreement
Non-Commercial Academic Use Only 

<< Singularity Research Development Kit (RDK) >>
___________________________________________________________________________

This Microsoft Research License Agreement, including all exhibits ("MSR-LA") is a legal agreement between you and Microsoft Corporation (“Microsoft” or “we”) for the software or data identified above, which may include source code, and any associated materials, text or speech files, associated media and "online" or electronic documentation and any updates we provide in our discretion (together, the "Software"). 

By installing, copying, or otherwise using this Software, you agree to be bound by the terms of this MSR-LA. If you do not agree, do not install, copy, or use the Software. The Software is protected by copyright and other intellectual property laws and is licensed, not sold. 

SCOPE OF RIGHTS:
You may use, copy, reproduce, and distribute this Software for any non-commercial academic purpose, subject to the restrictions in this MSR-LA. Some purposes which can be non-commercial academic are teaching, academic research, and personal experimentation. You may also distribute this Software with books or other teaching materials, or publish the Software on websites, that are intended to teach the use of the Software for academic or other non-commercial purposes. Notwithstanding anything to the contrary herein, you may only use the tools included in the Software to build the Singularity system, or build applications that will run on Singularity.

You may not use or distribute this Software or any derivative works in any form for commercial purposes. Examples of commercial purposes would be running business operations, licensing, leasing, or selling the Software, distributing the Software for use with commercial products, using the Software in the creation or use of commercial products or any other activity which purpose is to procure a commercial gain to you or others.

You may create derivative works of the Software source code and distribute the modified Software solely for non-commercial academic purposes, as provided herein.. If you distribute the Software or any derivative works of the Software, you will distribute them under the same terms and conditions as in this license, and you will not grant other rights to the Software or derivative works that are different from those provided by this MSR-LA. Your license rights to the Software (or any Microsoft intellectual property associated therewith) does not include any license, right, power or authority to subject the Software or derivative works thereof in whole or in part to the terms of any license that requires as a condition of use, modification and/or distribution of software subject to such license that the software or other software combined and/or distributed with such software be (A) disclosed or distributed in source code form; (B) licensed for the purpose of making derivative works; or (C) redistributable at no charge. 

If you have created derivative works of the Software, and distribute such derivative works, you will cause the modified files to carry prominent notices so that recipients know that they are not receiving the original Software. Such notices must state: (i) that you have changed the Software; and (ii) the date of any changes.

In return, we simply require that you agree: 

1. That you will not remove any copyright or other notices from the Software.

2. That if any of the Software is in binary format, you will not attempt to modify such portions of the Software, or to reverse engineer or decompile them, except and only to the extent authorized by applicable law. 

3. That you will not: (i) use the Software or any component of the Software or any program, code, application or technology created through use of the Software (for example, an application or program compiled using the included compilers) in a live operating environment where it may be relied upon to perform in the same manner as a commercially released product, or with data that has not been sufficiently backed up.

4. That Microsoft is granted back, a non-exclusive, irrevocable, royalty-free, and sub-licensable license to, for any purpose, reproduce, publicly perform or display, install, use, modify, distribute, make and have made, sell and transfer modifications to and/or derivative works of the Software source code or data that you provide to Microsoft through the CodePlex tool or otherwise make directly available to Microsoft.

5. That any feedback about the Software provided by you to us is voluntarily given, and Microsoft shall be free to use the feedback as it sees fit without obligation or restriction of any kind, even if the feedback is designated by you as confidential. 

6. THAT THE SOFTWARE COMES "AS IS", WITH NO WARRANTIES. THIS MEANS NO EXPRESS, IMPLIED OR STATUTORY WARRANTY, INCLUDING WITHOUT LIMITATION, WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, ANY WARRANTY AGAINST INTERFERENCE WITH YOUR ENJOYMENT OF THE SOFTWARE OR ANY WARRANTY OF TITLE OR NON-INFRINGEMENT. THERE IS NO WARRANTY THAT THIS SOFTWARE WILL FULFILL ANY OF YOUR PARTICULAR PURPOSES OR NEEDS. ALSO, YOU MUST PASS THIS DISCLAIMER ON WHENEVER YOU DISTRIBUTE THE SOFTWARE OR DERIVATIVE WORKS.

7. THAT NEITHER MICROSOFT NOR ANY CONTRIBUTOR TO THE SOFTWARE WILL BE LIABLE FOR ANY DAMAGES RELATED TO THE SOFTWARE OR THIS MSR-LA, INCLUDING DIRECT, INDIRECT, SPECIAL, CONSEQUENTIAL OR INCIDENTAL DAMAGES, TO THE MAXIMUM EXTENT THE LAW PERMITS, NO MATTER WHAT LEGAL THEORY IT IS BASED ON. ALSO, YOU MUST PASS THIS LIMITATION OF LIABILITY ON WHENEVER YOU DISTRIBUTE THE SOFTWARE OR DERIVATIVE WORKS.

8. That we have no duty of reasonable care or lack of negligence, and we are not obligated to (and will not) provide technical support or bug fixes for the Software.

9. That if you breach this MSR-LA or if you sue anyone over patents that you think may apply to or read on the Software or anyone's use of the Software, this MSR-LA (and your license and rights obtained herein) terminate automatically. Upon any such termination, you shall destroy all of your copies of the Software immediately. Sections 4 through 9, 11 and 12 of this MSR-LA shall survive any termination of this MSR-LA.

10. That the patent rights, if any, granted to you in this MSR-LA only apply to the Software, not to any derivative works you make.

11. That the Software may be subject to U.S. export jurisdiction at the time it is licensed to you, and it may be subject to additional export or import laws in other places. You agree to comply with all such laws and regulations that may apply to the Software after delivery of the software to you.

12. That all rights not expressly granted to you in this MSR-LA are reserved.

13. That this MSR-LA shall be construed and controlled by the laws of the State of Washington, USA, without regard to conflicts of law. If any provision of this MSR-LA shall be deemed unenforceable or contrary to law, the rest of this MSR-LA shall remain in full effect and interpreted in an enforceable manner that most nearly captures the intent of the original language.

Singularity RDK

Latest Version

Source Control Setup

Code Contributions