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.


Revised Nautilus Aerokernel Host Functionality
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 1 Jun 2016 01:29:38 +0000 (20:29 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 1 Jun 2016 01:34:47 +0000 (20:34 -0500)
commit2a9cf19fe40ce33f1c2728a41b18011dda365c06
treeaca7dc6e22caf02a30b1482429a31817ebfbae4f
parent7e1ce44438e3ba765e1a8ec2d67c03af12c841e7
Revised Nautilus Aerokernel Host Functionality

- use of current allocator
- use of enhanced virtual console
- support for multiple VMs
nautilus/console.c
nautilus/palacios-nautilus-mm-test.c [deleted file]
nautilus/palacios-nautilus-mm-test.h [deleted file]
nautilus/palacios-nautilus-mm.c [deleted file]
nautilus/palacios-nautilus-mm.h [deleted file]
nautilus/palacios-stubs.c
nautilus/palacios.h