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.


Working odin - x86 only - do 0 and then F5 to avoid startup files
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 6 Jun 2008 23:13:03 +0000 (23:13 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 6 Jun 2008 23:13:03 +0000 (23:13 +0000)
commit645c766b13d15fd70cd360e577eac1f62e07149f
tree09ff51b4a85cc5e7ed9cb8bd6df1a2518bed1f25
parentd6aaf17a9c98eeaa093a35fb61c4b4bb59b31c07
Working odin - x86 only - do 0 and then F5 to avoid startup files
palacios/src/devices/keyboard.c
palacios/src/devices/nvram.c
palacios/src/geekos/keyboard.c
palacios/src/geekos/lowlevel.asm
palacios/src/geekos/timer.c