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.


Add udivide file
authorLei Xia <xiaxlei@gmail.com>
Mon, 21 Jul 2008 16:37:45 +0000 (16:37 +0000)
committerLei Xia <xiaxlei@gmail.com>
Mon, 21 Jul 2008 16:37:45 +0000 (16:37 +0000)
commitda3c25c59f558869da8c2d91b28e32d977f33ea9
tree268ea6a0e199adaa0dc2dca41f0494c7d7475cc7
parent0848f06f791602a82524d7fb0079e3c573894a61
Add udivide file
this is goint to
palacios/src/geekos/udivdi3.s [new file with mode: 0644]