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 | Wired up keyboard interrupt to v3vee (and it works!). | tree | commitdiff |
2008-10-22 | Trammell Hudson | Fake IOAPIC address if there is no mptable found | tree | commitdiff |
2008-10-22 | Trammell Hudson | Do not try to derefence current | tree | commitdiff |
2008-10-22 | Trammell Hudson | Detect recursive page faults and halt | tree | commitdiff |
2008-10-21 | Kevin Pedretti | Merge branch 'kitten' of ssh://sharedev@newskysaw.cs... | tree | commitdiff |
2008-10-21 | Kevin Pedretti | Protect IDT table with a spinlock | tree | commitdiff |
2008-10-21 | Trammell Hudson | Output total memory from e820 map | tree | commitdiff |
2008-10-21 | Trammell Hudson | Added CONFIG_V3VEE to kernel config file | tree | commitdiff |
2008-10-21 | Kevin Pedretti | Added Kitten | tree | commitdiff |