To checkout Palacios execute
git clone http://v3vee.org/palacios/palacios.web/palacios.gitThis 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/develThe other branches are similar.
2008-10-22 | Trammell Hudson | Improve panic message if asked to free a bad page | blob | commitdiff |
2008-10-22 | Trammell Hudson | Re-enable debug printks from guest | blob | commitdiff | diff to current |
2008-10-22 | Trammell Hudson | Wired up keyboard interrupt to v3vee (and it works!). | blob | commitdiff | diff to current |
2008-10-21 | Trammell Hudson | Reflowed some files to conform to Kitten style guide and | blob | commitdiff | diff to current |
2008-10-21 | Trammell Hudson | V3VEE compiles. Segfaults, but the callback structures... | blob | commitdiff | diff to current |
2008-10-21 | Peter Dinda | First glue logic | blob | commitdiff | diff to current |