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.


SEABIOS updates to support reset and to simplify
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 18 Jun 2015 21:41:46 +0000 (16:41 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 18 Jun 2015 21:41:46 +0000 (16:41 -0500)
commitde96f467a8d9ca35ad81bd21df696933fdc7e728
treed56a55f0ffcc0f85f387e58407e7524fe0d98f8a
parent3878df3f39c735f0cc565166ee5bcf0294ea1092
SEABIOS updates to support reset and to simplify
bios/seabios/.config
bios/seabios/out/bios.bin
bios/seabios/out/bios.bin.elf
bios/seabios/out/bios.bin.raw
bios/seabios/palacios_config
bios/seabios/src/Kconfig
bios/seabios/src/resume.c
bios/seabios/src/romlayout.S
bios/seabios/tools/layoutrom.pyc