diff options
| -rw-r--r-- | index.html | 13 | ||||
| -rw-r--r-- | public-repository/index.html | 57 |
2 files changed, 60 insertions, 10 deletions
| @@ -641,17 +641,10 @@ scons | |||
| 641 | <div class="box"> | 641 | <div class="box"> |
| 642 | <p class="nomargin"> | 642 | <p class="nomargin"> |
| 643 | Patches and suggestions are very welcome! | 643 | Patches and suggestions are very welcome! |
| 644 | The current development version of LITMUS<sup>RT</sup> is available as a public <a href="http://git-scm.com/">git</a> repository at | 644 | Both the LITMUS<sup>RT</sup> kernel and liblitmus are available |
| 645 | <strong>http://www.cs.unc.edu/~anderson/litmus-rt/git</strong> and can be | 645 | as a public <a href="http://git-scm.com/">git</a> repository at |
| 646 | cloned with the following command. | 646 | <a href="public-repository/index.html">http://www.cs.unc.edu/~anderson/litmus-rt/public-repository</a>. |
| 647 | </p> | 647 | </p> |
| 648 | <pre class="shell"> | ||
| 649 | git clone http://www.cs.unc.edu/~anderson/litmus-rt/git litmus-rt | ||
| 650 | </pre> | ||
| 651 | <p class="nobottommargin"> | ||
| 652 | Please contact the <a href="#collaborators">current maintainer</a> if you | ||
| 653 | need access to the repositories for the user space libraries and tools. | ||
| 654 | </p> | ||
| 655 | </div> | 648 | </div> |
| 656 | 649 | ||
| 657 | 650 | ||
diff --git a/public-repository/index.html b/public-repository/index.html new file mode 100644 index 0000000..169c054 --- /dev/null +++ b/public-repository/index.html | |||
| @@ -0,0 +1,57 @@ | |||
| 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> | ||
| 2 | <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> | ||
| 3 | <head> | ||
| 4 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> | ||
| 5 | <meta name="verify-v1" content="pZNmf5XyUUfAPdlSPbFSavMUsLgVsmBYOXzOhbIy2gw=" /> | ||
| 6 | <link rel="stylesheet" type="text/css" href="../inc/format.css"/> | ||
| 7 | <title>LITMUS RT: Public Repositories</title> | ||
| 8 | </head> | ||
| 9 | <body> | ||
| 10 | |||
| 11 | <body> | ||
| 12 | <div class="logobox"> | ||
| 13 | <img src="../inc/litmusrt.png" alt="LITMUS^RT: Linux Testbed for Multiprocessor Scheduling in Real-Time Systems" /> | ||
| 14 | <p class="authors"> | ||
| 15 | <a href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson & | ||
| 16 | Students</a>, | ||
| 17 | <a href="http://www.unc.edu">The University of North Carolina at Chapel Hill</a> | ||
| 18 | </p> | ||
| 19 | |||
| 20 | </div> | ||
| 21 | |||
| 22 | <div class="nav"> | ||
| 23 | <p> | ||
| 24 | <a href="../index.html#about">about</a> - | ||
| 25 | <a href="../index.html#support">support</a> - | ||
| 26 | <a href="../index.html#collaborators">collaborators</a> - | ||
| 27 | <a href="../index.html#publications">publications</a> - | ||
| 28 | <a href="../index.html#download">download</a> - | ||
| 29 | <a href="../index.html#install">installation</a> - | ||
| 30 | <a href="../index.html#doc">documentation</a> - | ||
| 31 | <a href="../index.html#development">development</a> | ||
| 32 | </p> | ||
| 33 | </div> | ||
| 34 | |||
| 35 | <p><br/><p> <!-- CSS me... --> | ||
| 36 | |||
| 37 | <h2 id="development">Public Repositories</h2> | ||
| 38 | <div class="box"> | ||
| 39 | <p class="nomargin"> | ||
| 40 | To clone the kernel repository, enter the following command: | ||
| 41 | </p> | ||
| 42 | <pre class="shell"> | ||
| 43 | git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/litmus.git | ||
| 44 | </pre> | ||
| 45 | <p>To clone the liblitmus repository, enter the following command: | ||
| 46 | </p> | ||
| 47 | <pre class="shell"> | ||
| 48 | git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/liblitmus.git | ||
| 49 | </pre> | ||
| 50 | <p class="nobottommargin"> | ||
| 51 | Please contact the <a href="../index.html#collaborators">current maintainer</a> if you | ||
| 52 | have any questions. | ||
| 53 | </p> | ||
| 54 | </div> | ||
| 55 | |||
| 56 | </body> | ||
| 57 | </html> \ No newline at end of file | ||