v3vee.org Git - palacios.git/tree

Palacios Public Git Repository

To checkout Palacios execute

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

This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute

  cd palacios
  git checkout --track -b devel origin/devel

The other branches are similar.

projects / palacios.git / tree

summary | shortlog | log | commit | commitdiff | tree
snapshot

[palacios.git] /

-rw-r--r--	3RD_PARTY_LICENSES	blob \| history \| raw
-rw-r--r--	CODING_GUIDELINES	blob \| history \| raw
-rw-r--r--	Kconfig	blob \| history \| raw
-rw-r--r--	Makefile	blob \| history \| raw
-rw-r--r--	Makefile.i386	blob \| history \| raw
-rw-r--r--	Makefile.x86_64	blob \| history \| raw
-rwxr-xr-x	SETUP_DEV_ENV.pl	blob \| history \| raw
-rw-r--r--	V3VEE_LICENSE	blob \| history \| raw
drwxr-xr-x	bios	tree \| history
drwxr-xr-x	build	tree \| history
drwxr-xr-x	geekos	tree \| history
drwxr-xr-x	manual	tree \| history
drwxr-xr-x	misc	tree \| history
drwxr-xr-x	palacios	tree \| history
drwxr-xr-x	scripts	tree \| history
drwxr-xr-x	test	tree \| history
drwxr-xr-x	utils	tree \| history

Public Palacios Development Repository for the V3VEE Project