Checking out Palacios

The central Palacios repository is located on newskysaw.cs.northwestern.edu in /home/palacios/palacios. All internal developers have read access to the directory. Each developer must create their own local version of the repository, this is done with git clone.

git clone /home/palacios/palacios

On the machine newbehemoth.cs.northwestern.edu you will want to use the following command instead. The newskysaw home directories are NFS-mounted on /home-remote.

git clone /home-remote/palacios/palacios

On any other machine, you can clone the repository via ssh, provided you have a newskysaw account:

git clone ssh://you@newskysaw.cs.northwestern.edu//home/palacios/palacios

External developers can clone the public repository via the web. The public repository tracks the release and main development branch (e.g., devel) of the internal repository with a 30 minute delay. The access information is available on the web site (http://v3vee.org). The web site also includes a publically accessible gitweb interface to allow browsing of the public repository. The clone command looks like

git clone http://v3vee.org/palacios/palacios.web/palacios.git

No matter how you clone, the clone command creates a local copy of the repository at ./palacios/.

Note that both newskysaw and newbehemoth have all the tools installed that are needed to build and test Palacios and Kitten. If you develop on another machine, you will need to set those tools up for yourself. This isn't hard and the tools are all free. See the technical report for what tools you will need.

When you first clone the repository, you will get the master branch, which is used to generate releases. All development work is done in the devel branch of the repository. The developer can access this branch via:

git checkout --track -b devel origin/devel

or

/opt/vmm-tools/bin/checkout_branch devel

Important: Note that Palacios is very actively developed so the contents of the devel branch are frequently changing (and broken!). In order to keep up to date with the latest version, it is necessary to periodically pull the latest changes from the master repository by running git pull.

The released versions of Palacios are, currently, 1.0, 1.1, and 1.2. To switch to the current release branch, execute

git checkout --track -b Release-1.2 origin/Release-1.2

or

/opt/vmm-tools/bin/checkout_branch Release-1.2