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.


added pic device
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 23 Apr 2008 20:56:50 +0000 (20:56 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 23 Apr 2008 20:56:50 +0000 (20:56 +0000)
commit159356d2478ab200cda0a0aa726d8f1bfa4ffeeb
tree407b9d82e703a34c4859dcacb008df49a8780645
parente91412faf338dbe40aad6f4df64b98642438d510
added pic device
palacios/build/Makefile
palacios/include/devices/8259a.h
palacios/include/devices/simple_pic.h
palacios/src/devices/8259a.c
palacios/src/devices/simple_pic.c
palacios/src/geekos/vm.c