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.


fixed makefile to automatically generate symlinks for [rom|vga]bios
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 23 Sep 2008 16:57:16 +0000 (11:57 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 23 Sep 2008 16:57:16 +0000 (11:57 -0500)
commitb743d73b58d50cc91e4db88a707356adc9298cbc
tree54efaf83e5883a1641430b11f3ac9841dcd77b3b
parent28c2d889ecc7d9cc19e3753135f4286d8899e063
fixed makefile to automatically generate symlinks for [rom|vga]bios
palacios/build/Makefile