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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 33e59b4)
Protect IDT table with a spinlock
authorKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 22:03:46 +0000 (17:03 -0500)
committerKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 22:03:46 +0000 (17:03 -0500)
commitf96c8f76db88b8a91066736959869cdb7df02253
tree95ba383a73e47946c3cb94f4fdf38f8ba30cbaadtree | snapshot
parent33e59b4f73c24aa953e12d9427dafac88b19cfaacommit | diff
Protect IDT table with a spinlock
kitten/arch/x86_64/kernel/interrupts.c diff | blob | history
kitten/include/arch-x86_64/ptrace.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project