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-27 | Jack Lange | added MSR hook framework | tree | commitdiff |
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 | Jack Lange | fixed makefile to turn off vga | 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 | Use the puppy linux iso instead of the init_task for... | 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 |