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 char device operations to device manager
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 20:03:01 +0000 (14:03 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 20:03:01 +0000 (14:03 -0600)
commitee75afdf55f45c216a5285eb2d6eadd934aac59c
treefcf6522c868e553d60a4c8f2a0ff95bb79f804b7
parent24e0221dd2fdcf613cc5e487ec57a30f2fef25e3
added char device operations to device manager
palacios/include/palacios/vmm_dev_mgr.h
palacios/src/devices/stream.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_stream.c