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.


From 294306ec5026ea691a4f1380598114688b061c99 Mon Sep 17 00:00:00 2001
authorSteven Jaconette <jacones@u.northwestern.edu>
Thu, 27 Aug 2009 17:30:52 +0000 (12:30 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 27 Aug 2009 17:30:52 +0000 (12:30 -0500)
commitb54cbe1dbbe15ed228de7472ea284df96ecce909
tree8b6bad54ff113532d2ff37b3f3e2660b27758a69
parent1786dcbd1b5a05d2591556db17bff62465713ee1
From 294306ec5026ea691a4f1380598114688b061c99 Mon Sep 17 00:00:00 2001
Subject: [PATCH] Reorganized video card/virtual console
12 files changed:
Kconfig
palacios/include/devices/cga.h [copied from palacios/include/devices/video.h with 50% similarity]
palacios/include/devices/console.h [new file with mode: 0644]
palacios/include/devices/telnet_cons.h [moved from palacios/include/devices/video.h with 50% similarity]
palacios/src/devices/Kconfig
palacios/src/devices/Makefile
palacios/src/devices/cga.c [new file with mode: 0644]
palacios/src/devices/cirrus_gfx_card.c [new file with mode: 0644]
palacios/src/devices/telnet_cons.c [new file with mode: 0644]
palacios/src/devices/video.c [deleted file]
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c