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.


Partially working - looking at the load sector for vm kernel
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Feb 2008 22:00:27 +0000 (22:00 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Feb 2008 22:00:27 +0000 (22:00 +0000)
commit291ff6cdccbaf928d7cfd094bc67fe666f49de2c
treee38a7053a1f3d46acdb2077e6fcbcb2aed774a40
parent3d293c0d07537b122d249e035b6c85ed54baf406
Partially working - looking at the load sector for vm kernel
palacios/src/geekos/defs.asm
palacios/src/geekos/fd_boot.asm
palacios/src/geekos/main.c