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.


Fixed the FS/GS save/restore problem
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 23 Jun 2008 17:15:02 +0000 (17:15 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 23 Jun 2008 17:15:02 +0000 (17:15 +0000)
commit3b49b57d1f3b8bccdf7390c26ea9cda1f8dac8c3
tree0eadb6efe807f385c9cda0da192173b3ef829813
parent59bbb50ff3ce4074abc907914e8ae70cb16a22d8
Fixed the FS/GS save/restore problem
Added PCI
Added Out/In_DWord
Patched to compile
Debugging?
palacios/src/geekos/int.c
palacios/src/geekos/io.c
palacios/src/geekos/kthread.c
palacios/src/geekos/main.c
palacios/src/geekos/timer.c
palacios/src/geekos/vm.c
palacios/src/palacios/svm_lowlevel.asm
palacios/src/palacios/vmm_decoder.c