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.


This patch adds a few compiler conditionals so that multi-thread-specific code is...
authorErik van der Kouwe <erikvdk@gmail.com>
Sat, 22 Jan 2011 00:56:28 +0000 (18:56 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 22 Jan 2011 00:56:28 +0000 (18:56 -0600)
commit268cdc635ece417c3472295c4c81591564c6e0df
tree1da31d5995888ce227a6e5bb117135db4a38b693
parente73f2133673d681426d946d2f5bd8b363a1ab2c1
This patch adds a few compiler conditionals so that multi-thread-specific code is not included if CONFIG_MULTITHREAD_OS is not set.
palacios/include/palacios/vmm.h
palacios/src/devices/8259a.c
palacios/src/devices/apic.c
palacios/src/palacios/vmm.c