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 xed to handle SMSW instructions
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 30 Oct 2008 22:15:05 +0000 (17:15 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 30 Oct 2008 22:15:05 +0000 (17:15 -0500)
commit976d67e1c6f988ca38ae83347859ccc86d485651
treebb230fddb7500d74e535777f799f220d42494a58
parentf4ba2c6bbcd720a0cd5f9ca9ca0b691656011fa7
fixed xed to handle SMSW instructions
FreeDOS works
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_xed.c