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.
This code now successfully does the Linux kernel load and
the calls to use the bios to move it to high memory
It all works without any reported error, but the destination content
is not right. I bet we have the copy table wrong
