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.


changed the build environment to not require rebuilding the rombios.
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 21 Mar 2009 00:27:29 +0000 (19:27 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 21 Mar 2009 00:27:29 +0000 (19:27 -0500)
commit1136ff005017b791572f5f2fa2b2f846a04817e7
tree7932267ebc5e10d197b2a6cf5a3ff5ffa86e0b5a
parent04e582f922cfa2e9fb7304e1987a3d2298c43868
changed the build environment to not require rebuilding the rombios.
This simplifies the build process on standard environments
palacios/build/Makefile
palacios/src/vmboot/rombios/BIOS-bochs-latest [new file with mode: 0644]
palacios/src/vmboot/vgabios/VGABIOS-lgpl-latest.bin [new file with mode: 0644]